The calculus of computation decision procedures with applications to verification

Détails bibliographiques
Auteur principal:	Bradley, Aaron R.
Autres auteurs:	Manna, Zohar
Format:	Livre
Langue:	English
Publié:	Berlin Springer 2007.
Sujets:	Computer logic. Computer programs > Verification.