Martin Wirsing

Knowledge Science, Engineering and Management

2017

Adapting proofs-as-programs

2005

Trustworthly Global Computing

2010

Software Engineering for Collective Autonomic Systems

2015

Rigorous Software Engineering for Service-Oriented Systems

2011

Recent trends in algebraic development techniques

2004

Fundamental Approaches to Software Engineering

2009

Theoretical aspects of computing

2005

Theoretical Aspects of Computing - ICTAC 2005

2005

STACS 87

1987

Software-Intensive Systems and New Computing Paradigms

2008

Programming Language Implementation and Logic Programming

2014

Java Kompakt

2013

Java Kompakt eXamenPress

2013

Formal Description of Programming Concepts III

1988

Elementare Aussagenlogik

1991

Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge

2019

Algebraic Methods

1989