Retirement: Martin Wirsing 2015

Homage from Friends

Logical and Algebraic Foundations

Algebraic Specifications, Institutions, and Rewriting

Foundations of Software Engineering

Service-Oriented Systems

Adaptive and Autonomic Systems

maintained by Schloss Dagstuhl LZI at University of Trier