Top > 1998
Member Reviews
Visitor Ratings 
Google PR 
Web Links
1998
1. CAV'98
International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site 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
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings Google PR
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