TY  - BOOK
AU  - Simon,Axel
ED  - SpringerLink (Online service)
TI  - Value-range analysis of C programs: towards proving the absence of buffer overflow vulnerabilities 
SN  - 9781848000179 (electronic bk.)
AV  - QA76.73.C15 S545 2008
U1  - 005.435 21
PY  - 2008///
CY  - London
PB  - Springer-Verlag London
KW  - C (Computer program language)
KW  - Memory management (Computer science)
KW  - Numeric Computing
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Computer Science
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-84800-017-9
ER  -