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

a service of Schloss Dagstuhl - Leibniz Center for Informatics