Charles H. Applebaum, James G. Williams. PVS - design for a practical verification system. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 58-68, ACM, 1984. [doi]
@inproceedings{ApplebaumW84,
title = {PVS - design for a practical verification system},
author = {Charles H. Applebaum and James G. Williams},
year = {1984},
doi = {10.1145/800171.809605},
url = {http://doi.acm.org/10.1145/800171.809605},
tags = {design},
researchr = {https://researchr.org/publication/ApplebaumW84},
cites = {0},
citedby = {0},
pages = {58-68},
booktitle = {Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984},
editor = {Richard L. Muller and James J. Pottmyer},
publisher = {ACM},
isbn = {0-89791-144-X},
}