Normal view
MARC view
CAV (Conference) (7th : 1995 : Liège, Belgium) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): CAV (Conference) (7th : 1995 : Liège, Belgium), Computer Aided Verification :, 1995.