Aaron R. Bradley

Programming for Engineers

The Calculus of Computation: Decision Procedures with Applications to Verification