2001



Technische Berichte 2001




1. W. Kahl. Parallel Composition and Decomposition of Spezifications

2. W. Kahl, D.L. Parnas, G. Schmidt. Relational Methods in Software

3. A. Schürr. OMER-2 Workshop Proceedings