Editorials in Proceedings:

E. Bartocci, Y. Falcone, M. Leucker:
in: "Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.", 13065; Springer, Lecture Notes in Computer Science, Rhodes, Greece, 2021, (invited), ISBN: 978-3-030-87348-6, 1.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.