TY  - BOOK
A1  -  edited by Bertrand Meyer, Martin Nordio.
TI  - Tools for Practical Software Verification : 
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90115078
UR  /book/90115078/Tools-for-Practical-Software-Verification/
ER  -