http://www.cs.ubc.ca/spider/ajh/cav98.htmlInternational Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998.1998International Conference on Computer-Aided Verification
This conference is the tenth in a series dedicated to the advancement of
the theory and practice of computer-assisted formal analysis methods for
software and hardware systems. The conference covers the spectrum from
theoretical results to
waiting for hand_moderationCAV98HomePage
International Conference on Computer-Aided Verification
This conference is the tenth in a series dedicated to the advancement of
the theory and practice of computer-assisted formal analysis methods for
software and hardware systems. The conference covers the spectrum from
theoretical results to
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.