Ernie Cohen

Follow

Person

Philadelphia, PA, US

People

Patents Applicationslast 30 patents

Information Patent Application
Software Verification Using Two-State Invariants
- Publication number 20110083124
- Publication date Apr 7, 2011
- Microsoft Corporation
- Michal Jan Moskal
- G06 - COMPUTING CALCULATING COUNTING