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:
Online Access:Table of contents
Publisher description