dblp.uni-trier.de www.uni-trier.de

European Joint Conference on Theory And Practice of Software (ETAPS)

EAPLS: European Association for Programming Languages and Systems

ETAPS is the successor conference of CAAP, CC, ESOP and TAPSOFT.


12. ETAPS 2009: York, UK

ETAPS 2009 Home Page

Oege de Moor, Michael I. Schwartzbach (Eds.): Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5501 Springer 2009, ISBN 978-3-642-00721-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Giuseppe Castagna (Ed.): Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5502 Springer 2009, ISBN 978-3-642-00589-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Marsha Chechik, Martin Wirsing (Eds.): Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5503 Springer 2009, ISBN 978-3-642-00592-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Luca de Alfaro (Ed.): Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5504 Springer 2009, ISBN 978-3-642-00595-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5505 Springer 2009, ISBN 978-3-642-00767-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

...

11. ETAPS 2008: Budapest, Hungary

ETAPS 2008 Home Page

Laurie J. Hendren (Ed.): Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Lecture Notes in Computer Science 4959 Springer 2008, ISBN 978-3-540-78790-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Sophia Drossopoulou (Ed.): Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4960 Springer 2008, ISBN 978-3-540-78738-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

José Luiz Fiadeiro, Paola Inverardi (Eds.): Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4961 Springer 2008, ISBN 978-3-540-78742-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Roberto M. Amadio (Ed.): Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Lecture Notes in Computer Science 4962 Springer 2008, ISBN 978-3-540-78497-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

C. R. Ramakrishnan, Jakob Rehof (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4963 Springer 2008, ISBN 978-3-540-78799-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Cesare Pautasso, Éric Tanter (Eds.): Software Composition, 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Lecture Notes in Computer Science 4954 Springer 2008, ISBN 978-3-540-78788-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

10. ETAPS 2007: Braga, Portugal

ETAPS 2007 Home Page

Shriram Krishnamurthi, Martin Odersky (Eds.): Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings. Lecture Notes in Computer Science 4420 Springer 2007, ISBN 978-3-540-71228-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Rocco De Nicola (Ed.): Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4421 Springer 2007, ISBN 978-3-540-71314-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Matthew B. Dwyer, Antónia Lopes (Eds.): Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4422 Springer 2007, ISBN 978-3-540-71288-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Helmut Seidl (Ed.): Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings. Lecture Notes in Computer Science 4423 Springer 2007, ISBN 978-3-540-71388-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Orna Grumberg, Michael Huth (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4424 Springer 2007, ISBN 978-3-540-71208-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Markus Lumpe, Wim Vanderperren (Eds.): Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4829 Springer 2007, ISBN 978-3-540-77350-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

9. ETAPS 2006: Vienna, Austria

ETAPS 2006 Home Page

Holger Hermanns, Jens Palsberg (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings. Lecture Notes in Computer Science 3920 Springer 2006, ISBN 3-540-33056-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Luca Aceto, Anna Ingólfsdóttir (Eds.): Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings. Lecture Notes in Computer Science 3921 Springer 2006, ISBN 3-540-33045-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922 Springer 2006, ISBN 3-540-33093-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Alan Mycroft, Andreas Zeller (Eds.): Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings. Lecture Notes in Computer Science 3923 Springer 2006, ISBN 3-540-33050-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Peter Sestoft (Ed.): Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3924 Springer 2006, ISBN 3-540-33095-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Welf Löwe, Mario Südholt (Eds.): Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Lecture Notes in Computer Science 4089 Springer 2006, ISBN 3-540-37657-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

8. ETAPS 2005: Edinburgh, Scotland, UK

ETAPS 2005 Home Page

Nicolas Halbwachs, Lenore D. Zuck (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3440 Springer 2005, ISBN 3-540-25333-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Vladimiro Sassone (Ed.): Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3441 Springer 2005, ISBN 3-540-25388-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Maura Cerioli (Ed.): Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3442 Springer 2005, ISBN 3-540-25420-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Rastislav Bodík (Ed.): Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3443 Springer 2005, ISBN 3-540-25411-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Shmuel Sagiv (Ed.): Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3444 Springer 2005, ISBN 3-540-25435-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Dan R. Ghica, Guy McCusker (Eds.): Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference. 2005
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz (Eds.): Software Composition, 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3628 Springer 2005, ISBN 3-540-28748-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

7. ETAPS 2004: Barcelona, Spain

ETAPS 2004 Home Page

Evelyn Duesterwald (Ed.): Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2985 Springer 2004, ISBN 3-540-21297-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

David A. Schmidt (Ed.): Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2986 Springer 2004, ISBN 3-540-21313-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Susanne Graf, Laurent Mounier (Eds.): Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989 Springer 2004, ISBN 3-540-21314-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Michel Wermelinger, Tiziana Margaria (Eds.): Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings. Lecture Notes in Computer Science 2984 Springer 2004, ISBN 3-540-21305-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Igor Walukiewicz (Ed.): Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2987 Springer 2004, ISBN 3-540-21298-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Kurt Jensen, Andreas Podelski (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2988 Springer 2004, ISBN 3-540-21299-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

6. ETAPS 2003: Warsaw, Poland

ETAPS 2003 Home Page

Pierpaolo Degano (Ed.): Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2618 Springer 2003, ISBN 3-540-00886-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Hubert Garavel, John Hatcliff (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2619 Springer 2003, ISBN 3-540-00898-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Andrew D. Gordon (Ed.): Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2620 Springer 2003, ISBN 3-540-00897-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2621 Springer 2003, ISBN 3-540-00899-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Görel Hedin (Ed.): Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2622 Springer 2003, ISBN 3-540-00904-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

5. ETAPS 2002: Grenoble, France

ETAPS 2002 Home Page
Satellite Events for ETAPS 2002: ENTCS 65
International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002)

Mogens Nielsen, Uffe Engberg (Eds.): Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2303 Springer 2002, ISBN 3-540-43366-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

R. Nigel Horspool (Ed.): Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2304 Springer 2002, ISBN 3-540-43369-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Daniel Le Métayer (Ed.): Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2305 Springer 2002, ISBN 3-540-43363-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Ralf-Detlef Kutsche, Herbert Weber (Eds.): Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2306 Springer 2002, ISBN 3-540-43353-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Joost-Pieter Katoen, Perdita Stevens (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2280 Springer 2002, ISBN 3-540-43419-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

4. ETAPS 2001: Genova, Italy

ETAPS 2001 Home Page

Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2027 Springer 2001, ISBN 3-540-41861-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

David Sands (Ed.): Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2028 Springer 2001, ISBN 3-540-41862-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Heinrich Hußmann (Ed.): Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2029 Springer 2001, ISBN 3-540-41863-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2030 Springer 2001, ISBN 3-540-41864-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Tiziana Margaria, Wang Yi (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2031 Springer 2001, ISBN 3-540-41865-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

ETAPS 2001 Workshops: ENTCS 44

3. ETAPS 2000: Berlin, Germany

ETAPS 2000 Home Page

David A. Watt (Ed.): Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1781 Springer 2000, ISBN 3-540-67263-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Gert Smolka (Ed.): Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1782 Springer 2000, ISBN 3-540-67262-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

T. S. E. Maibaum (Ed.): Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1783 Springer 2000, ISBN 3-540-67261-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Jerzy Tiuryn (Ed.): Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1784 Springer 2000, ISBN 3-540-67257-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Susanne Graf, Michael I. Schwartzbach (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1785, Springer, 2000, ISBN 3-540-67282-6
Contents

2. ETAPS 1999: Amsterdam, The Netherlands

ETAPS '99 Home Page

Stefan Jähnichen (Ed.): Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Lecture Notes in Computer Science, Vol. 1575, Springer, 1999, ISBN 3-540-65717-7
Contents

S. Doaitse Swierstra (Ed.): Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Lecture Notes in Computer Science 1576 Springer 1999, ISBN 3-540-65699-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Jean-Pierre Finance (Ed.): Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1577 Springer 1999, ISBN 3-540-65718-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Wolfgang Thomas (Ed.): Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1578 Springer 1999, ISBN 3-540-65719-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Rance Cleaveland (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1579 Springer 1999, ISBN 3-540-65703-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1. ETAPS 1998: Lisbon, Portugal

ETAPS '98 Home Page

Maurice Nivat (Ed.): Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1378 Springer 1998, ISBN 3-540-64300-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Chris Hankin (Ed.): Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1381 Springer 1998, ISBN 3-540-64302-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Egidio Astesiano (Ed.): Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1382 Springer 1998, ISBN 3-540-64303-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Kai Koskimies (Ed.): Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science, Vol. 1383, Springer, 1998, ISBN 3-540-64304-4
Contents

Bernhard Steffen (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1384 Springer 1998, ISBN 3-540-64356-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

José Luiz Fiadeiro (Ed.): Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers. Lecture Notes in Computer Science 1589 Springer 1999, ISBN 3-540-66246-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:34:54 2009 by Michael Ley (ley@uni-trier.de)