Formal Methods for Hardware Verification
Subtitle: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540343059
Subjects: Integrated circuits; Telecommunication systems