Karen Zee. Verification of full functional correctness for imperative linked data structures. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.