ID:DA05999924
DIMACS Workshop on Computer-Aided Verification
International Conference, CAV
International Workshop, CAV
International Conference on Computer Aided Verification
Workshop on Computer-Aided Verification
Conference on Computer-Aided Verification
Search authors sharing the same name
Alexandra Silva, K. Rustan M. Leino (eds.)
Springer c2021 Lecture notes in computer science 12760 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 2
Available at 1 libraries
Springer c2021 Lecture notes in computer science 12759 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 1
Rupak Majumdar, Viktor Kunčak (eds.)
Springer c2017 Lecture notes in computer science 10426-10427 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 1 , pt. 2
Swarat Chaudhuri, Azadeh Farzan (eds.)
Springer c2016 Lecture notes in computer science 9779-9780 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Daniel Kroening, Corina S. Păsăreanu (eds.)
Springer c2015 Lecture notes in computer science 9206-9207 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
P. Madhusudan, Sanjit A. Seshia (eds.)
Springer c2012 Lecture notes in computer science 7358
Available at 3 libraries
Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Springer c2011 Lecture notes in computer science 6806
: pbk
Tayssir Touili, Byron Cook, Paul Jackson (eds.)
Springer c2010 Lecture notes in computer science 6174
Available at 4 libraries
Ahmed Bouajjani, Oded Maler (eds.)
Springer c2009 Lecture notes in computer science 5643
Aarti Gupta, Sharad Malik (eds.)
Springer c2008 Lecture notes in computer science 5123
Available at 5 libraries
Werner Damm, Holger Hermanns (eds.)
Springer c2007 Lecture notes in computer science 4590
Available at 6 libraries
Thomas Ball, Robert B. Jones (eds.)
Springer c2006 Lecture notes in computer science 4144
Available at 12 libraries
Kousha Etessami, Sriram K. Rajamani (eds.)
Springer c2005 Lecture notes in computer science 3576
Available at 13 libraries
Rajeev Alur, Doron A. Peled (eds.)
Springer c2004 Lecture notes in computer science 3114
Available at 19 libraries
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
Springer c2003 Lecture notes in computer science 2725
Available at 24 libraries
Ed Brinksma, Kim Guldstrand Larsen (eds.)
Springer c2002 Lecture notes in computer science 2404
Available at 31 libraries
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
Springer c2001 Lecture notes in computer science 2102
E. Allen Emerson, A. Prasad Sistla (eds.)
Springer c2000 Lecture notes in computer science 1855
Available at 41 libraries
Nicolas Halbwachs, Doron Peled (eds.)
Springer-Verlag c1999 Lecture notes in computer science 1633
Available at 40 libraries
Alan J. Hu, Moshe Y. Vardi (eds.)
Springer-Verlag c1998 Lecture notes in computer science 1427
Available at 39 libraries