Martin Wirsing profile picture

Martin Wirsing

Is this your author profile? Create an account to customize it!

Stand Alone

Trustworthly Global Computing
Recent trends in algebraic development techniques
Rigorous Software Engineering for Service-Oriented Systems
Java Kompakt eXamenPress
Java kompakt
Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Programming Language Implementation and Logic Programming 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings