Title: Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
Authors: Hu, Alan J.; Martin, Andrew K.
Publisher: Springer,
Year: 2004
Subjects: Digital integrated circuits Computer-aided design Congresses.; Integrated circuits Verification Congresses; Formal methods (Computer science) Congresses.; Digital integrated circuits Design and construction Mathematics Congresses.; Circuits intégrés numériques Conception assistée par ordinateur Congrès.; Circuits intégrés Vérification Congrès.; Méthodes formelles (Informatique) Congrès.; Circuits intégrés numériques Conception et construction Mathématiques Congrès.; Digital integrated circuits Computer-aided design; Formal methods (Computer science); Integrated circuits Verification; Méthode formelle.; Circuit intégré numérique.; Conception assistée par ordinateur.; Model-checking (Informatique)