Normal view
MARC view
- CAV (Conference)
CAV (Conference) (18th : 2006 : Seattle, Wash.) (Meeting Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: CAV (Conference) (18th : 2006 : Seattle, Wash.), Computer aided verification :, c2000.