Daniel K. Beece, George Deibert, Georgina Papp, Frank Villante
The IBM Engineering Verification Engine
DAC, 1988.
@inproceedings{DAC-1988-BeeceDPV,
acmid = "285730.285766",
author = "Daniel K. Beece and George Deibert and Georgina Papp and Frank Villante",
booktitle = "{Proceedings of the 25th Design Automation Conference}",
pages = "218--224",
publisher = "{ACM}",
title = "{The IBM Engineering Verification Engine}",
year = 1988,
}