The calculus of computation
Subtitle: decision procedures with applications to verification
By: Aaron R. Bradley, Zohar Manna.
Publisher: Springer Verlag
Published: 2007
Place of publication: Germany [1990-onward]
Language: eng
Number of pages: 366