Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

  • Editors
  • José Luiz Fiadeiro
  • Pierre-Yves Schobbens
Conference proceedings WADT 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4409)

Table of contents

  1. Front Matter
  2. Contributed Papers

    1. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente
      Pages 1-20
    2. Carlos Caleiro, Ricardo Gonçalves
      Pages 21-36
    3. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
      Pages 37-55
    4. Hans-Jörg Kreowski, Sabine Kuske
      Pages 56-73
    5. Klaus Lüttich, Till Mossakowski
      Pages 74-91
    6. Till Mossakowski, Markus Roggenbach
      Pages 92-110
    7. Tom Mens, Ragnhild Van Der Straeten
      Pages 111-126
    8. Lutz Schröder, Till Mossakowski
      Pages 127-141
  3. Back Matter

About these proceedings


automated theorem proving calculi calculus cellular automata formal method formal methods formal testing graph transformation logic modal logic modeling process algebra semantics system development theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-71997-7
  • Online ISBN 978-3-540-71998-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment