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

5. TAPSOFT 1993: Orsay, France

Marie-Claude Gaudel, Jean-Pierre Jouannaud (Eds.): TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings. Lecture Notes in Computer Science 668 Springer 1993, ISBN 3-540-56610-4 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Survey

Invited Conference

CAAP: Specifications and Proofs

FASE: Case Studies in Formal Design and Development

Invited Conference

Invited Survey

CAAP: Concurrency

FASE: Compositionality, Modules and Development

Invited Conference

CAAP: Automata and Counting

FASE: Formal Development

Invited Survey

CAAP: Constraint Solving

FASE: Foundations and Analysis of Formal Specifications

Invited Survey

CAAP: Rewriting

FASE: Verification of Concurrent Systems

Invited Survey

CAAP: Logic and Trees

FASE: Model Checking

Invited Conference

CAAP-FASE: Type Inference

CAAP: Analysis of Algorithms

FASE: Parallel Calculus

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