%0 Book %1 books/daglib/0019162 %A Bradley, Aaron R. %A Manna, Zohar %D 2007 %I Springer %K book calculus computation verification %P I-XV, 1-366 %T The calculus of computation - decision procedures with applications to verification.

@book{books/daglib/0019162, added-at = {2013-01-03T03:20:29.000+0100}, author = {Bradley, Aaron R. and Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/2cc3aa59618e966bbdff27f11113ede6e/kaptoxic}, ee = {http://dx.doi.org/10.1007/978-3-540-74113-8}, interhash = {301173e199b562e7193f7176ee0c094c}, intrahash = {cc3aa59618e966bbdff27f11113ede6e}, keywords = {book calculus computation verification}, pages = {I-XV, 1-366}, publisher = {Springer}, timestamp = {2013-01-03T03:20:30.000+0100}, title = {The calculus of computation - decision procedures with applications to verification.}, year = 2007 }