کتاب های Martin Wirsing
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.), 1996
Adapting Proofs-as-Programs : The Curry-Howard Protocol
Iman Poernomo, John N. Crossley, Martin Wirsing, 2005
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.), 2013
Software Engineering for Collective Autonomic Systems: The ASCENS Approach
Martin Wirsing, 2015
Algebraic Methods: Theory, Tools and Applications
Martin Wirsing, 1989
