The Calculus of Computation: Decision Procedures with Applications to Verification
Publisher: Springer
Published: Sep 18, 2007
Number of pages: 366
ISBN-13: 9783540741138