TM

Thomas F. Melham

IN Intel: 1 patents #18,218 of 30,777Top 60%
Overall (All Time): #3,403,739 of 4,157,543Top 85%
1
Patents All Time

Issued Patents All Time

Patent #TitleCo-InventorsDate
7310790 Automatic symbolic indexing methods for formal verification on a symbolic lattice domain Robert B. Jones 2007-12-18