Martin Wirsing

• Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, 2001, (BibTeX entry).
• Michel Bidoit, Rolf Hennicker, Francoise Tort, Martin Wirsing: Correct Realization of Interface Constraints with OCL, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.