Title of article

Formal Verification: Current Use and Future Perspectives

Issue Information

روزنامه با شماره پیاپی سال 2002

Pages

9

From page

105

To page

113

Journal title

IEEE Design and Test of Computers

Serial Year

2002

Journal title

IEEE Design and Test of Computers

Record number

431420