Luís Cruz-Filipe, Fabrizio Montesi. Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. In Adam Naumowicz, René Thiemann, editors, 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland. Volume 268 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{Cruz-FilipeM23,
title = {Now It Compiles! Certified Automatic Repair of Uncompilable Protocols},
author = {Luís Cruz-Filipe and Fabrizio Montesi},
year = {2023},
doi = {10.4230/LIPIcs.ITP.2023.11},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.11},
researchr = {https://researchr.org/publication/Cruz-FilipeM23},
cites = {0},
citedby = {0},
booktitle = {14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland},
editor = {Adam Naumowicz and René Thiemann},
volume = {268},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-284-6},
}