Static Analysis (WSA/SAS)

15. SAS 2008: Valencia, Spain

María Alpuente, Germán Vidal (Eds.): Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079 Springer 2008, ISBN 978-3-540-69163-1
Contents BibTeX

14. SAS 2007: Kongens Lyngby, Denmark

Hanne Riis Nielson, Gilberto Filé (Eds.): Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4634 Springer 2007, ISBN 978-3-540-74060-5
Contents BibTeX

13. SAS 2006: Seoul, Korea

Kwangkeun Yi (Ed.): Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Lecture Notes in Computer Science 4134 Springer 2006, ISBN 3-540-37756-5
Contents BibTeX

12. SAS 2005: London, UK

Chris Hankin, Igor Siveroni (Eds.): Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Lecture Notes in Computer Science 3672 Springer 2005, ISBN 3-540-28584-9
Contents BibTeX

11. SAS 2004: Verona, Italy

Roberto Giacobazzi (Ed.): Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148 Springer 2004, ISBN 3-540-22791-1
Contents BibTeX

10. SAS 2003: San Diego, California, USA

Radhia Cousot (Ed.): Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694 Springer 2003, ISBN 3-540-40325-6
Contents BibTeX - SAS 2003 Home Page (part of FCRC'03)

9. SAS 2002: Madrid, Spain

Manuel V. Hermenegildo, Germán Puebla (Eds.): Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science 2477 Springer 2002, ISBN 3-540-44235-9
Contents BibTeX - SAS 2002 Home Page

8. SAS 2001: Paris, France

Patrick Cousot (Ed.): Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126 Springer 2001, ISBN 3-540-42314-1
Contents BibTeX

7. SAS 2000: Santa Barbara, CA, USA

Jens Palsberg (Ed.): Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Lecture Notes in Computer Science 1824 Springer 2000, ISBN 3-540-67668-6
Contents BibTeX

6. SAS 1999: Venice, Italy

Agostino Cortesi, Gilberto Filé (Eds.): Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694 Springer 1999, ISBN 3-540-66459-9
Contents BibTeX

5. SAS 1998: Pisa, Italy

Giorgio Levi (Ed.): Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings. Lecture Notes in Computer Science 1503 Springer 1998, ISBN 3-540-65014-8
Contents BibTeX

4. SAS 1997: Paris, France

Pascal Van Hentenryck (Ed.): Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Lecture Notes in Computer Science 1302 Springer 1997, ISBN 3-540-63468-1
Contents BibTeX

3. SAS 1996: Aachen, Germany

Radhia Cousot, David A. Schmidt (Eds.): Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145 Springer 1996, ISBN 3-540-61739-6
Contents BibTeX

2. SAS 1995: Glasgow, UK

Alan Mycroft (Ed.): Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings. Lecture Notes in Computer Science 983 Springer 1995, ISBN 3-540-60360-3
Contents BibTeX

1. SAS 1994: Namur, Belgium

Baudouin Le Charlier (Ed.): Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Lecture Notes in Computer Science 864 Springer 1994, ISBN 3-540-58485-4
Contents BibTeX

3. WSA 1993: Padova, Italy

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724 Springer 1993, ISBN 3-540-57264-3
Contents BibTeX

2. WSA 1992: Bordeaux, France

Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy (Eds.): Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Published by Atelier Irisa, IRISA, Campus de Beaulieu, Series Bigre Vol. 81-82
Contents

1. JTASPEFL/WSA 1991: Bordeaux, France

Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kandina Musumbu, Antoine Rauzy (Eds.): Actes JTASPEFL'91 (Bordeaux), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Published by Atelier Irisa, IRISA Campus de Beaulieu, Series Bigre Vol. 74
Contents