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}
}