DocumentCode :
974093
Title :
The practical application of formal verification
Volume :
12
Issue :
3
fYear :
1995
Firstpage :
96
Keywords :
Boolean functions; Conferences; Data structures; Design automation; Emulation; Formal verification; Human computer interaction; Logic; Testing; Time to market;
fLanguage :
English
Journal_Title :
Design & Test of Computers, IEEE
Publisher :
ieee
ISSN :
0740-7475
Type :
jour
DOI :
10.1109/MDT.1995.466387
Filename :
466387
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=974093
