sands95a

David Sands. Total Correctness by Local Improvement in Program Transformation. Manuscript, January 1995.

Keyword

[ Coinduction ]

Contact

D. Sands

BibTex Reference

@Misc{sands95a,
   Author = {Sands, David},
   Title = {Total Correctness by Local Improvement in Program Transformation},
   Howpublished = {Manuscript},
   Month = {January},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)