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