%0 Conference Paper %1 conf/acsac/Davis90 %A Davis, Russell J. %B ACSAC %D 1990 %I IEEE %K dblp %P 298-303 %T Software checking with the Auditor's Aid. %U http://dblp.uni-trier.de/db/conf/acsac/acsac1990.html#Davis90

@inproceedings{conf/acsac/Davis90, added-at = {2016-02-03T00:00:00.000+0100}, author = {Davis, Russell J.}, biburl = {https://www.bibsonomy.org/bibtex/20e6094933a293638adb78fe2d1ee1996/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/1990}, ee = {http://dx.doi.org/10.1109/CSAC.1990.143790}, interhash = {e08bd7df763537c3628007bce9d1b180}, intrahash = {0e6094933a293638adb78fe2d1ee1996}, keywords = {dblp}, pages = {298-303}, publisher = {IEEE}, timestamp = {2016-02-04T11:39:49.000+0100}, title = {Software checking with the Auditor's Aid.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac1990.html#Davis90}, year = 1990 }