William D. Young, John McHugh. Coding for a Believable Specification to Implementation Mapping. In IEEE Symposium on Security and Privacy. pages 140-149, 1987.
@inproceedings{YoungM87,
title = {Coding for a Believable Specification to Implementation Mapping},
author = {William D. Young and John McHugh},
year = {1987},
researchr = {https://researchr.org/publication/YoungM87},
cites = {0},
citedby = {0},
pages = {140-149},
booktitle = {IEEE Symposium on Security and Privacy},
}