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]
@inproceedings{Whaley91,
title = {A framework for program verification in the context of linked structures and pointer variables},
author = {Tom Whaley},
year = {1991},
doi = {10.1145/107004.107027},
url = {http://doi.acm.org/10.1145/107004.107027},
tags = {program verification, context-aware},
researchr = {https://researchr.org/publication/Whaley91},
cites = {0},
citedby = {0},
pages = {119-123},
booktitle = {Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991},
editor = {Nell B. Dale},
publisher = {ACM},
isbn = {0-89791-377-9},
}