Heike Wehrheim – författare

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Theoretical Aspects of Computing – ICTAC 2025

22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings