list | abstracts | bib | http ]

File Refinement

Citation

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

BibTex Entry

@MISC{ZeeKuncak04FileRefinement,
  author = {Karen Zee and Viktor Kuncak},
  title = {File Refinement},
  howpublished = {The Archive of Formal Proofs},
  url = {http://afp.sourceforge.net/entries/FileRefinement.shtml},
  month = {December},
  note = {Formal proof development},
  year = 2004
}

list | abstracts | bib | http ]