Tom Whaley. A framework for program verification in the context of linked structures and pointer variables. In Nell B. Dale, editor, Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991. pages 119-123, ACM, 1991. [doi]
No references recorded for this publication.
No citations of this publication recorded.