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