CiNii Books Author

1

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Constantin Enea, Ruzica Piskac (eds.)

Springer c2019 Lecture notes in computer science 11388 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 2 libraries
2

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Isil Dillig, Jens Palsberg (eds.)

Springer c2018 Lecture notes in computer science 10747 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
3

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, proceedings

Ahmed Bouajjani, David Monniaux (eds.)

Springer c2017 Lecture notes in computer science 10145 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
4

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Barbara Jobstmann, K. Rustan M. Leino (Eds.)

Springer c2016 Lecture notes in computer science 9583 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
5

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

Springer c2015 Lecture notes in computer science 8931 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
6

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Springer c2008 Lecture notes in computer science 4905

Available at 6 libraries
7

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings

Byron Cook, Andreas Podelski (eds.)

Springer c2007 Lecture notes in computer science 4349

Available at 6 libraries
8

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

E. Allen Emerson, Kedar S. Namjoshi (eds.)

Springer c2006 Lecture notes in computer science 3855

Available at 8 libraries
9

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Radhia Cousot (ed.)

Springer c2005 Lecture notes in computer science 3385

Available at 18 libraries
10

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Bernhard Steffen, Giorgia Levi (eds.)

Springer c2004 Lecture notes in computer science 2937

Available at 22 libraries
11

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Lenore D. Zuck ... [et al.] (eds.)

Springer c2003 Lecture notes in computer science 2575

Available at 26 libraries

VMCAI

Search Results1-11 of 11

Search this author

Related Authors