Bart Jacobs

Follow

Person

Leuven, BE

People

Patents Grantslast 30 patents

Information Patent Grant
Method for specifying and verifying multi-threaded object-oriented...
- Patent number 7,774,787
- Issue date Aug 10, 2010
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method for specifying and verifying multi-threaded object-oriented...
- Publication number 20060155905
- Publication date Jul 13, 2006
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING