👤

Aaron R. Bradley

2 books

Books by Aaron R. Bradley

The calculus of computation
The calculus of computation
2007
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
2007