Welcome to Central Library, SUST
Normal view MARC view
  • CAV (Conference)

CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science) (Meeting Name)

Number of records used in: 1
Preferred form: CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)

Machine generated authority record.

Work cat.: (BD-SySUS)0: CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science), Computer-aided verification '90 :, 1991.