David Detlefs
- Simplify: a theorem prover for program checking
2005/05/01 by David Detlefs, Greg Nelson, James B. Saxe · 16 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Testing and Debugging Techniques