Results

Book cover

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

© 2008

Hard cover - Print (ISBN: 978-1-84800-016-2)

Electronic (ISBN: 978-1-84800-017-9)

Soft cover - Print (ISBN: 978-1-84996-702-0)

View this book on SpringerLink

Download Product Archive File - 978-1-84800-017-9 Download product archive files for 978-1-84800-017-9