Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
While Loops in Coq
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]