CAV'98
CAV'98
http://www.cs.ubc.ca/spider/ajh/cav98.html International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998. 1998 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 towaiting for hand_moderation CAV 98 Home Page
Write a Review
Add to My Favorite
Refer it to Friend
Report Broken Link
Google Ads
Other links at 1998
1. CAV'98
International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998.
Category:
Random Quote:
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
waiting for hand_moderation
Main Category
Join Mailing List
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.
Top 10
Directory Statistics
Links: 229
Categories: 14
Pagerank Statistics
Yahoo News