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.",
Springer, Lecture Notes in Computer Science,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.