TY  - BOOK
A1  - 
TI  - Computer-aided verification: proceedings 2nd International conference, CAV'90
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72163745
UR  /book/72163745/Computeraided-verification-proceedings-2nd-Inter/
ER  -