Record:   Prev Next
Author FMCAD 2004 (2004 : Austin, Texas)
Title Formal methods in computer-aided design [electronic resource] : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.)
Imprint Berlin : Springer, c2004
book jacket
Record:   Prev Next