ID:DA13873513
International Conference, Verification, Model Checking, and Abstract Interpretation
同姓同名の著者を検索
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館
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館
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
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
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
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Springer c2008 Lecture notes in computer science 4905
所蔵館6館
Byron Cook, Andreas Podelski (eds.)
Springer c2007 Lecture notes in computer science 4349
E. Allen Emerson, Kedar S. Namjoshi (eds.)
Springer c2006 Lecture notes in computer science 3855
所蔵館8館
Radhia Cousot (ed.)
Springer c2005 Lecture notes in computer science 3385
所蔵館18館
Bernhard Steffen, Giorgia Levi (eds.)
Springer c2004 Lecture notes in computer science 2937
所蔵館22館
Lenore D. Zuck ... [et al.] (eds.)
Springer c2003 Lecture notes in computer science 2575
所蔵館26館