|
|
 | |
Detail information for: CAV - The International Conference on Computer Aided Verification |
| ID: | 5407 |
| Title: | CAV - The International Conference on Computer Aided Verification - http://www.cav-conference.org |
| Pagerank: | 5 |
| Description: | A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software. |
| Category: | Computers: Computer Science |
| Link Owner: | |
| Date Added: | January 21, 2007 04:26:23 PM |
| Number Hits: | 0 |
Copyright Million Connections 2007, All right's Reserved. |