VMCAI

ID:DA13873513

別名: International Conference, Verification, Model Checking, and Abstract Interpretation

同姓同名の著者を検索

検索結果11件中 1-11 を表示

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

所蔵館2館
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

所蔵館1館
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

所蔵館1館
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

所蔵館1館
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

所蔵館1館
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

所蔵館6館
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

所蔵館6館
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

所蔵館8館
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

所蔵館18館
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

所蔵館22館
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

所蔵館26館

VMCAI

検索結果11件中 1-11 を表示

この著者を外部サイトでさがす

関連著者