Karen Zee and Viktor Kuncak. File refinement. The Archive of Formal Proofs, December 2004. Formal proof development.

[ bib | http ] Back