Book 2007

The Calculus of Computation

Decision Procedures with Applications to Verification

Authors:

ISBN: 978-3-540-74112-1 (Print) 978-3-540-74113-8 (Online)