William D. Young. Verified program support environments. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 147-149, ACM, 1990. [doi]
@inproceedings{Young90-2,
title = {Verified program support environments},
author = {William D. Young},
year = {1990},
doi = {10.1145/99571.99839},
url = {https://doi.org/10.1145/99571.99839},
researchr = {https://researchr.org/publication/Young90-2},
cites = {0},
citedby = {0},
pages = {147-149},
booktitle = {Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990},
editor = {Mark Moriconi},
publisher = {ACM},
}