Brian Marick. The VERUS Design Verification System. In IEEE Symposium on Security and Privacy. pages 150-160, 1983.
@inproceedings{Marick83, title = {The VERUS Design Verification System}, author = {Brian Marick}, year = {1983}, tags = {design}, researchr = {https://researchr.org/publication/Marick83}, cites = {0}, citedby = {0}, pages = {150-160}, booktitle = {IEEE Symposium on Security and Privacy}, }