Title of article
Guest Editorʹs Introduction: Formal Verification of Commercial Integrated Circuits
Author/Authors
Carl Pixley، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
2
From page
4
To page
5
Journal title
IEEE Design and Test of Computers
Serial Year
2001
Journal title
IEEE Design and Test of Computers
Record number
431343
Link To Document