Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan. Adventures in FRET and Specification. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III. Volume 15221 of Lecture Notes in Computer Science, pages 106-123, Springer, 2024. [doi]
@inproceedings{FarrellLMRS24-0,
title = {Adventures in FRET and Specification},
author = {Marie Farrell and Matt Luckcuck and Rosemary Monahan and Conor Reynolds and Oisín Sheridan},
year = {2024},
doi = {10.1007/978-3-031-75380-0_7},
url = {https://doi.org/10.1007/978-3-031-75380-0_7},
researchr = {https://researchr.org/publication/FarrellLMRS24-0},
cites = {0},
citedby = {0},
pages = {106-123},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {15221},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-75380-0},
}