K. Rustan M. Leino

Follow

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and apparatus for automatically inferring annotations
- Patent number 7,120,902
- Issue date Oct 10, 2006
- Hewlett-Packard Development Company, L.P.
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for verifying computer program correctness and pr...
- Patent number 7,024,661
- Issue date Apr 4, 2006
- Hewlett-Packard Development Company, L.P.
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and method for verifying computer program correctness and pr...
- Publication number 20020046393
- Publication date Apr 18, 2002
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING