TY  - BOOK
A1  - E .M. clarke, P. P. Kurshan )eds.(
TI  - Computer-aided verification: 2nd international conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990: proceedings
PB  - کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان
SN  - 104739111
UR  /book/104739111/Computeraided-verification-2nd-international-con/
ER  -