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. : May 2006, Bertinoro, Italy.
(Lecture Notes in Computer Science ; 3965. Tutorial)