Title: Formal methods for hardware verification
First published: 2006
Subjects: Congresses, Formal methods (Computer science), Verification, Integrated circuits, Circuits intégrés, Congrès, Vérification, Méthodes formelles (Informatique), Informatique, Telecommunication systems
LC classification: QA76.9.F67 I586 2006