The calculus of computation decision procedures with applications to verification

Bibliographic Details
Main Author:	Bradley, Aaron R.
Other Authors:	Manna, Zohar
Format:	Book
Language:	English
Published:	Berlin Springer 2007.
Subjects:	Computer logic. Computer programs > Verification.