Wendell E. Cory, William M. van Cleemput. Developments in verification of design correctness (A Tutorial). In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 156-164, ACM/IEEE, 1980. [doi]
@inproceedings{CoryC80,
title = {Developments in verification of design correctness (A Tutorial)},
author = {Wendell E. Cory and William M. van Cleemput},
year = {1980},
doi = {10.1145/800139.804525},
url = {http://doi.acm.org/10.1145/800139.804525},
researchr = {https://researchr.org/publication/CoryC80},
cites = {0},
citedby = {0},
pages = {156-164},
booktitle = {Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980},
editor = {Edwin B. Hassler Jr.},
publisher = {ACM/IEEE},
isbn = {0-89791-020-6},
}