ID:DA08604920
Static Analysis Symposium
International Static Analysis Symposium
International Symposium on Static Analysis
International Symposium, SAS
Search authors sharing the same name
Gagandeep Singh, Caterina Urban (eds.)
Springer c2022 Lecture notes in computer science 13790 . Advanced research in computing and software science
Available at 1 libraries
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
Available at 5 libraries
Kwangkeun Yi (ed.)
Springer c2006 Lecture notes in computer science 4134
Available at 9 libraries
Chris Hankin, Igor Siveroni (eds.)
Springer c2005 Lecture notes in computer science 3672
Available at 10 libraries
Roberto Giacobazzi (ed.)
Springer c2004 Lecture notes in computer science 3148
Available at 16 libraries
Radhia Cousot (ed.)
Springer c2003 Lecture notes in computer science 2694
Available at 20 libraries
Manuel V. Hermenegildo, Germán Puebla (eds.)
Springer c2002 Lecture notes in computer science 2477
Available at 25 libraries
Patrick Cousot (ed.)
Springer c2001 Lecture notes in computer science 2126
Available at 32 libraries
Jens Palsberg (ed.)
Springer c2000 Lecture notes in computer science 1824
Available at 41 libraries
Agostino Cortesi, Gilberto Filé (eds.)
Springer c1999 Lecture notes in computer science 1694
Available at 37 libraries
Giorgio Levi (ed.)
Springer c1998 Lecture notes in computer science 1503
Available at 39 libraries
Pascal van Hentenryck (ed.)
Springer c1997 Lecture notes in computer science 1302
Available at 44 libraries
Radhia Cousot, David A. Schmidt (eds.)
Springer c1996 Lecture notes in computer science 1145
Available at 48 libraries
Alan Mycroft (ed.)
Springer c1995 Lecture notes in computer science 983
Available at 54 libraries
Baudouin Le Charlier (ed.)
Springer-Verlag c1994 Lecture notes in computer science 864
: gw , : us
Available at 56 libraries
