Normal view
MARC view
Circuits intégrés numériques Conception et construction Mathématiques Congrès (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): FMCAD 2004 (2004 : Austin, Tex.) 20344, Formal methods in computer-aided design :, 2004.