Nancy M. Amato, Michael C. Loui. Checking Linked Data Structures. In FTCS. pages 164-173, 1994.
@inproceedings{AmatoL94, title = {Checking Linked Data Structures}, author = {Nancy M. Amato and Michael C. Loui}, year = {1994}, tags = {data-flow, C++}, researchr = {https://researchr.org/publication/AmatoL94}, cites = {0}, citedby = {0}, pages = {164-173}, booktitle = {FTCS}, }