Verifying the Option Type with Rely-Guarantee Reasoning

Download: PDF.

“Verifying the Option Type with Rely-Guarantee Reasoning” by James Yoo, Michael D Ernst, and René Just. In Proceedings of the International Conference on Automated Software Engineering (ASE), 2024.

BibTeX entry:

@inproceedings{YooEJ2024,
   author = {James Yoo and Michael D Ernst and Ren{\'e} Just},
   title = {Verifying the Option Type with Rely-Guarantee Reasoning},
   booktitle = {Proceedings of the International Conference on Automated
	Software Engineering (ASE)},
   year = {2024},
   url = {https://doi.org/10.1145/3691620.3695036}
}

Back to all publications

---

(This page was created with bibtex2web.)