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 BibTeX
@proceedings{DBLP:conf/tapsoft/1993,
editor = {Marie-Claude Gaudel and
Jean-Pierre Jouannaud},
title = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993,
Proceedings},
booktitle = {TAPSOFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {668},
year = {1993},
isbn = {3-540-56610-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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 © Sat May 16 23:43:33 2009
by Michael Ley (ley@uni-trier.de)
