Martin Wirsing

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

Adapting Proofs-as-Programs

Fundamental Approaches to Software Engineering

Software-Intensive Systems and New Computing Paradigms