Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Title | Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday |
Publication Type | Conference Proceedings |
Year of Publication | 2021 |
Authors | Bartocci, E, Falcone, Y, Leucker, M |
Conference Name | Lecture Notes in Computer Science |
Volume | 13065 |
Publisher | Springer |
ISBN Number | 978-3-030-87347-9 |
URL | https://doi.org/10.1007/978-3-030-87348-6 |
DOI | 10.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} }