Formal proof of a program: find
From MaRDI portal
Publication:858911
DOI10.1016/j.scico.2006.10.002zbMath1178.68353OpenAlexW1971879297MaRDI QIDQ858911
Publication date: 11 January 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2006.10.002
Related Items (2)
An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps ⋮ Fifty years of Hoare's logic
Uses Software
This page was built for publication: Formal proof of a program: find
