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. |