Greg Nelson
- Simplify: a theorem prover for program checking
2005/05/01 by David Detlefs, Greg Nelson, James B. Saxe · 17 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Testing and Debugging Techniques
- Simplification by Cooperating Decision Procedures
1979/10/01 by Greg Nelson, Derek C. Oppen · 8 citations