You are here

Home › Research › Publications ›

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

TitleFormal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Publication TypeConference Proceedings
Year of Publication2021
AuthorsBartocci, E, Falcone, Y, Leucker, M
Conference NameLecture Notes in Computer Science
Volume13065
PublisherSpringer
ISBN Number978-3-030-87347-9
URLhttps://doi.org/10.1007/978-3-030-87348-6
DOI10.1007/978-3-030-87348-6
Bibtex: 
@proceedings {1393,
	title = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday},
	volume = {13065},
	year = {2021},
	publisher = {Springer},
	isbn = {978-3-030-87347-9},
	doi = {10.1007/978-3-030-87348-6},
	url = {https://doi.org/10.1007/978-3-030-87348-6},
	author = {Ezio Bartocci and Yli{\`e}s Falcone and Martin Leucker}
}