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

bib | http ] Back