David Nowak, Vlad Rusu. While Loops in Coq. In Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. Volume 389 of EPTCS, pages 96-109, 2023. [doi]
@inproceedings{-24,
title = {While Loops in Coq},
author = {David Nowak and Vlad Rusu},
year = {2023},
doi = {10.4204/EPTCS.389.8},
url = {https://doi.org/10.4204/EPTCS.389.8},
researchr = {https://researchr.org/publication/-24},
cites = {0},
citedby = {0},
pages = {96-109},
booktitle = {Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023},
volume = {389},
series = {EPTCS},
}