dblp.uni-trier.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

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