Normal view
MARC view
Circuits intégrés Vérification Congrès (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): CAV (Conference) (17th : 2005 : Edinburgh, Scotland) 26801, Computer aided verification :, 2005.