Matthias Hölzl

Trustworthy Global Computing

Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2008 .

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Allan Clark, Stephen Gilmore, Nora Koch, 2022, Leveraging Applications of Formal Methods.