Normal view
MARC view
- Computer software
Computer software Verification Congresses. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: CAV (Conference) (18th : 2006 : Seattle, Wash.) 25599, Computer aided verification :, c2000.