DocumentCode :
1096601
Title :
A path out of the verification wilderness
Author :
Peryer, Mark ; Bailey, Brian
Author_Institution :
Mentor Graphics
Volume :
2
Issue :
2
fYear :
2004
Firstpage :
33
Lastpage :
37
fLanguage :
English
Journal_Title :
Electronics Systems and Software
Publisher :
iet
ISSN :
1479-8336
Type :
jour
Filename :
1331765
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1096601
