The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
"A D&T Roundtable: The Practical Application of Formal Verification", IEEE Design & Test of Computers, vol. 12, no. , pp. 96-102, Fall 1995, doi:10.1109/MDT.1995.10020
105 ms
(Ver )