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

Bibliographic Information

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 (eds.)

(Lecture notes in computer science, 3965)

Springer, c2006

Search this Book/Journal
Note

Includes bibliographical references and index

"Tutorial"--Cover

Related Books: 1-1 of 1
Details
Page Top