|
|
EAPLS: European Association for Programming Languages and Systems
ETAPS is the successor conference of CAAP, CC, ESOP and TAPSOFT.
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 
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
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
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
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
...
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
ETAPS 2001 Workshops: ENTCS 44
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
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
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
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
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
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
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
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
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
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
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
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
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
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