Bartocci, E., Falcone, Y., & Leucker, M. (2021). Preface. In E. Bartocci, Y. Falcone, & M. Leucker (Eds.), Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (pp. vii–viii). Springer, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/55665