Inventor

MILLSTEIN TODD D

US2 patents

Patents

2 patents

US7058925B2Jun 6, 2006

System and method for generating a predicate abstraction of a program

MICROSOFT CORP27 citations89

US7657867B2Feb 2, 2010

System and method for generating a predicate abstraction of a program

MICROSOFT CORP5 citations59