2008Simon'

BibTeX

@book{DBLP:series/springer/2008Simon,
  author    = {Axel Simon},
  title     = {Value-Range Analysis of C Programs: Towards Proving the
               Absence of Buffer Overflow Vulnerabilities},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-1-84800-016-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}