The VERUS Design Verification System

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},
}