Editorials in Proceedings:
E. Bartocci, Y. Falcone, M. Leucker:
"Preface";
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)
http://dx.doi.org/10.1007/978-3-030-87348-6
Created from the Publication Database of the Vienna University of Technology.