Advanced formal verification

Corporate Author: ebrary, Inc.
Other Authors: Drechsler, Rolf.
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, c2004.
Subjects:
Online Access:http://site.ebrary.com/lib/ucy/Doc?id=10115222
Physical Description:xxv, 249 p. : ill.
Bibliography:Includes bibliographical references and index.