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

6. TAPSOFT 1995: Aarhus, Denmark

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (Eds.): TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915 Springer 1995, ISBN 3-540-59293-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

CAAP

Trees & Automata

Concurrency I

Logic & Specification

Formal Languages

Concurrency II

Rewriting Systems

Semantics

FASE

Types

Tools

Static Analysis

Case Studies

Transformations

Concurrency

Specifications

TOOLS

Last update Fri May 25 08:42:56 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page