Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science #2102)
4828462
|
Gerard Berry
Hubert Comon
Alain Finkel
|
9783540445852 |
2001 |
|
|
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science #8559)
2811166
|
Armin Biere
Roderick Bloem
|
9783319088679 |
2014 |
|
|
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science #5643)
4773049
|
Ahmed Bouajjani
Oded Maler
|
9783642026584 |
2009 |
|
|
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science #2404)
4589945
|
Ed Brinksma
Kim G. Larsen
|
9783540456575 |
2002 |
|
|
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779)
2848204
|
Swarat Chaudhuri
Azadeh Farzan
|
9783319415284 |
2016 |
Contains images
|
|
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science #9780)
2848208
|
Swarat Chaudhuri
Azadeh Farzan
|
9783319415406 |
2016 |
Contains images
|
|
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982)
2266812
|
Hana Chockler
Georg Weissenbacher
|
9783319961422 |
2018 |
Contains images
|
|
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981)
2266818
|
Hana Chockler
Georg Weissenbacher
|
9783319961453 |
2018 |
Contains images
|
|
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science #4590)
4663927
|
Werner Damm
Holger Hermanns
|
9783540733683 |
2007 |
|
|
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
2695499
|
Isil Dillig
Serdar Tasiran
|
9783030255435 |
2019 |
Contains images
|
|
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science #1855)
4809643
|
E. Allen Emerson
A. Prasad Sistla
|
9783540450474 |
2000 |
|
|
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science #3576)
4828044
|
Kousha Etessami
Sriram K. Rajamani
|
9783540316862 |
2005 |
|
|
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science #6806)
4716355
|
Ganesh Gopalakrishnan
Shaz Qadeer
|
9783642221101 |
2011 |
|
|
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science #5123)
4808347
|
Aarti Gupta
Sharad Malik
|
9783540705451 |
2008 |
|
|
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science #2725)
4718810
|
Warren A. Hunt
Fabio Somenzi
|
9783540450696 |
2003 |
|
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science #9207)
2831597
|
Daniel Kroening
Corina S. Păsăreanu
|
9783319216683 |
2015 |
Contains images
|
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9206)
2831611
|
Daniel Kroening
Corina S. Păsăreanu
|
9783319216904 |
2015 |
Contains images
|
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
2248235
|
Rupak Majumdar
Viktor Kunčak
|
9783319633909 |
2017 |
Contains images
|
|
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science #7358)
4681675
|
Madhusudan Parthasarathy
Sanjit A. Seshia
|
9783642314247 |
2012 |
|
|
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science #1633)
3276268
|
Doron Peled
Nicolas Halbwachs
|
9783540486831 |
1999 |
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760)
4211597
|
Alexandra Silva
K. Rustan M. Leino
|
9783030816889 |
2021 |
Contains images
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759)
4216403
|
Alexandra Silva
K. Rustan M. Leino
|
9783030816858 |
2021 |
Contains images
|
|
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science #6174)
4761221
|
Tayssir Touili
Byron Cook
Paul Jackson
|
9783642142956 |
2010 |
|
|
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa #4)
4690258
|
R. Albrecht
|
9783709175514 |
1983 |
|
|
Computer Ethics (The International Library of Essays in Public and Professional Ethics)
5401775
|
John Weckert
|
9781351949811 |
2007 |
Contains images
|
|