João Mota, Marco Giunti, António Ravara. On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). In Karim Ali 0001, Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. Volume 263 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{MotaGR23,
title = {On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)},
author = {João Mota and Marco Giunti and António Ravara},
year = {2023},
doi = {10.4230/LIPIcs.ECOOP.2023.40},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.40},
researchr = {https://researchr.org/publication/MotaGR23},
cites = {0},
citedby = {0},
booktitle = {37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States},
editor = {Karim Ali 0001 and Guido Salvaneschi},
volume = {263},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-281-5},
}