Sorin L. Lerner

Follow

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for performing a path-sensitive verification on a...
- Patent number 6,938,186
- Issue date Aug 30, 2005
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and method for performing a path-sensitive verification on a...
- Publication number 20030226060
- Publication date Dec 4, 2003
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING