Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7797669 | Analysis of distributed software systems via specification substitution | Niels Jakob Rehof, Anthony D. Andrews, Sriram K. Rajamani, Cedric Fournet | 2010-09-14 |
CH
Charles Antony Richard Hoare
Overall (All Time): #3,302,848 of 4,157,543Top 80%
1
Patents All Time