TY  - BOOK
AU  - Cimatti,Alessandro
AU  - Bernardo,Marco
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems
TI  - Formal methods for hardware verification: 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 
T2  - Lecture notes in computer science,
SN  - 3540343040
AV  - QA76.9F67 I574 2006
U1  - 004.01/51 22
PY  - 2006///
CY  - Berlin
PB  - Springer Verlag
KW  - Métodos formales (Computación)
KW  - Congresos
KW  - Circuitos integrados
KW  - Constatación
ER  -