Richard B. Neely, J. W. Freeman, M. D. Krenzin. Achieving Understandable Results in a Formal Design Verification. In CSFW. pages 115-124, 1989.
@inproceedings{NeelyFK89,
title = {Achieving Understandable Results in a Formal Design Verification},
author = {Richard B. Neely and J. W. Freeman and M. D. Krenzin},
year = {1989},
tags = {design},
researchr = {https://researchr.org/publication/NeelyFK89},
cites = {0},
citedby = {0},
pages = {115-124},
booktitle = {CSFW},
}