Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities /

Bibliographic Details
Main Author: Simon, Axel
Format: eBook
Language:English
Published: London : Springer, c2008.
Subjects: