Formal Methods for Hardware Verification [E-Book] / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures edited
Saved in:
Full text |
|
Personal Name(s): | Bernardo, Marco |
Cimatti, Alessandro | |
Imprint: |
Berlin Heidelberg :
Springer-Verlag GmbH ,
2006
|
Physical Description: |
online resource |
ISBN: |
9783540343059 |
Series Title: |
Lecture Notes in Computer Science ;
3965 |
Subject (LOC): |
Description not available. |