ID:DA08604920
Static Analysis Symposium
International Static Analysis Symposium
International Symposium on Static Analysis
International Symposium, SAS
同姓同名の著者を検索
Gagandeep Singh, Caterina Urban (eds.)
Springer c2022 Lecture notes in computer science 13790 . Advanced research in computing and software science
所蔵館1館
Andreas Podelski (ed.)
Springer c2018 Lecture notes in computer science 11002 . Advanced research in computing and software science : subline of lecture notes in computer science . LNCS sublibrary ; SL2 . Programming and software engineering
: [pbk.]
Hanne Riis Nielson, Gilberto Filé (eds.)
Springer c2007 Lecture notes in computer science 4634
所蔵館5館
Kwangkeun Yi (ed.)
Springer c2006 Lecture notes in computer science 4134
所蔵館9館
Chris Hankin, Igor Siveroni (eds.)
Springer c2005 Lecture notes in computer science 3672
所蔵館10館
Roberto Giacobazzi (ed.)
Springer c2004 Lecture notes in computer science 3148
所蔵館16館
Radhia Cousot (ed.)
Springer c2003 Lecture notes in computer science 2694
所蔵館20館
Manuel V. Hermenegildo, Germán Puebla (eds.)
Springer c2002 Lecture notes in computer science 2477
所蔵館25館
Patrick Cousot (ed.)
Springer c2001 Lecture notes in computer science 2126
所蔵館32館
Jens Palsberg (ed.)
Springer c2000 Lecture notes in computer science 1824
所蔵館41館
Agostino Cortesi, Gilberto Filé (eds.)
Springer c1999 Lecture notes in computer science 1694
所蔵館37館
Giorgio Levi (ed.)
Springer c1998 Lecture notes in computer science 1503
所蔵館39館
Pascal van Hentenryck (ed.)
Springer c1997 Lecture notes in computer science 1302
所蔵館44館
Radhia Cousot, David A. Schmidt (eds.)
Springer c1996 Lecture notes in computer science 1145
所蔵館48館
Alan Mycroft (ed.)
Springer c1995 Lecture notes in computer science 983
所蔵館54館
Baudouin Le Charlier (ed.)
Springer-Verlag c1994 Lecture notes in computer science 864
: gw , : us
所蔵館56館