Achieving Understandable Results in a Formal Design Verification.

Richard B. Neely J. W. Freeman M. D. Krenzin Achieving Understandable Results in a Formal Design Verification. 115-124 1989 CSFW db/conf/csfw/csfw1989.html#NeelyFK89