TY  - BOOK
A1  - 
TI  - Test pattern generation using Boolean proof engines
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92924706
UR  /book/92924706/Test-pattern-generation-using-Boolean-proof-engine/
ER  -