Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}