Formal methods for hardware verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti (eds.).
- Conference Author:
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)
- Additional Titles:
- SFM 2006
- Berlin ; New York : Springer, 
- Copyright Date:
- Physical Description:
- 1 online resource (vi, 242 pages) : illustrations
- Additional Creators:
- Cimatti, Alessandro
- LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 0302-9743 ; 3965. Tutorial
- AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
- Reproduction Note:
- Electronic reproduction. Berlin : Springer, 2006. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4565528