

An edition of Formal methods in computer-aided design (2004)
5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
By FMCAD 2004 (2004 Austin, Texas)
Publish Date
2004
Publisher
Springer
Language
eng
Pages
444
1-1 of 1 Editions
Language: eng
Pages: 444
Published In: 2004
Publisher: Springer