Wehrheim, Heike.

Overview

Works:	2 works in 3 publications in 1 languages

Titles

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: TAP (Conference) (2020 :); Wehrheim, Heike.; SpringerLink (Online service); STAF (Federation of conferences) ((2020 :); Ahrendt, Wolfgang. (Electronic resources)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: Meyer, Roland.; Platzer, Andre.; Wehrheim, Heike.; SpringerLink (Online service) (Electronic resources)

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 / by: FASE (Conference) (2020 :); Wehrheim, Heike.; Cabot, Jordi.; SpringerLink (Online service); ETAPS (Conference) (2020 :) (Electronic resources)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: Leuschel, Michael.; Wehrheim, Heike.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2009 :) (Language materials, printed)

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / by: Gorrieri, Roberto.; Wehrheim, Heike.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :) (Language materials, printed)

Subjects