The Community for Technology Leaders
Green Image
Issue No. 02 - Summer (1995 vol. 12)
ISSN: 0740-7475
pp: 82
INDEX TERMS
CITATION
Luc Claesen, "ED&TC 1995: Simulation versus formal verification", IEEE Design & Test of Computers, vol. 12, no. , pp. 82, Summer 1995, doi:10.1109/MDT.1995.10018
91 ms
(Ver )