Russell J. Davis. Software checking with the Auditor's Aid. In Sixth Annual Computer Security Applications Conference, ACSAC 1990, 3-7 December, 1990, Tucson, Arizona, USA. pages 298-303, IEEE, 1990. [doi]
@inproceedings{Davis90-3,
title = {Software checking with the Auditor's Aid},
author = {Russell J. Davis},
year = {1990},
doi = {10.1109/CSAC.1990.143790},
url = {http://dx.doi.org/10.1109/CSAC.1990.143790},
researchr = {https://researchr.org/publication/Davis90-3},
cites = {0},
citedby = {0},
pages = {298-303},
booktitle = {Sixth Annual Computer Security Applications Conference, ACSAC 1990, 3-7 December, 1990, Tucson, Arizona, USA},
publisher = {IEEE},
}