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.
scientific article; zbMATH DE number 5080906