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

Marco Bernardo Alessandro Cimatti 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 SFM Lecture Notes in Computer Science 3965 Springer 2006 978-3-540-34304-2 db/conf/sfm/sfm2006.html