MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Wehrheim, Heike...”

Cover Image

2

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...

Published 2020

Springer International Publishing

Other Authors: “...Wehrheim, Heike...”

Cover Image

3

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Wehrheim, Heike...”

Cover Image

4

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

Published 2020

Springer International Publishing

Other Authors: “...Wehrheim, Heike...”

Cover Image

5

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

Published 2015

Springer International Publishing

Other Authors: “...Wehrheim, Heike...”