TY  - BOOK
A1  - Simon, Axel
TI  - Value-range analysis of C programs :towards proving the absence of buffer overflow vulnerabilities
PB  - کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان
SN  - 95697023
UR  /book/95697023/Valuerange-analysis-of-C-programs-towards-provin/
ER  -