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

7. TAPSOFT 1997: Lille, France

Michel Bidoit, Max Dauchet (Eds.): TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Lecture Notes in Computer Science 1214 Springer 1997, ISBN 3-540-62781-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

Panel

Lectures

CAAP

Rewriting and Automata

Automata and Time

Termination

Bisimulations and Pi-Calculus

Set Constraints

Complexity

Unifications and Matching

Types

FASE

Specifications

Verification

Types and Their Applications

Real-Time and Distributed Systems

Semantics

Static Analysis

Refinement

Applications of Formal Methods to Software Engineering

TOOLS

Copyright © Mon Nov 2 21:15:51 2009 by Michael Ley (ley@uni-trier.de)