Normal view
MARC view
- Circuits int�egr�es
Circuits int�egr�es V�erification Congr�es. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: CAV (Conference) (18th : 2006 : Seattle, Wash.) 25599, Computer aided verification :, c2000.