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
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=431420
