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]
No references recorded for this publication.
No citations of this publication recorded.