Hat mitgewirkt an:
-
Foundations of global computing : 05081 abstracts collection ; Dagstuhl seminar
-
Categories for software engineering
-
Algebra and coalgebra in computer science : first international conference ; proceedings
-
Recent trends in algebraic development techniques : 17th international workshop ; revised selected papers