Simon, Axel.
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities / [electronic resource] : edited by Axel Simon. - London : Springer London, 2008. - digital.
9781848000179
10.1007/978-1-84800-017-9 doi
Computer science.
Software engineering.
Logic design.
Electronic data processing.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Numeric Computing.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities / [electronic resource] : edited by Axel Simon. - London : Springer London, 2008. - digital.
9781848000179
10.1007/978-1-84800-017-9 doi
Computer science.
Software engineering.
Logic design.
Electronic data processing.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Numeric Computing.
QA76.9.L63 QA76.5913 QA76.63
005.1015113