This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?
November/December 1989 (vol. 6 no. 6)
pp. 50-58
Citation:
"A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?," IEEE Design & Test of Computers, vol. 6, no. 6, pp. 50-58, Nov.-Dec. 1989, doi:10.1109/MDT.1989.10027
Usage of this product signifies your acceptance of the Terms of Use.