The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

"A D&T Roundtable: The Practical Application of Formal Verification," in IEEE Design & Test of Computers, vol. 12, no. , pp. 96-102, 1995.
doi:10.1109/MDT.1995.10020
90 ms
(Ver 3.3 (11022016))