Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Conferences
CAV - Computer Aided Verification
CAV - Computer Aided Verification
Publications: 1,075| Citation Count: 32,706 (Self-Citation: 1,815) |H-Index: 88
Year Range: 1990-2011
Paper submissions due: 22 January 2012, Duration: 7 - 13 July 2012, Berkeley, United States of America
Homepage | CFP
The information isn't correct? You can edit it
Cumulative Annual
Order by:

Publications (1075)

Share this on | Contribute to Academic