Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7774787 | Method for specifying and verifying multi-threaded object-oriented programs with invariants | K. Rustan M. Leino, Wolfram Schulte | 2010-08-10 |
| D493744 | Precious stone | — | 2004-08-03 |
BJ
Bart Jacobs
Overall (All Time): #2,125,494 of 4,157,543Top 55%
2
Patents All Time