Catalog

Record Details

Catalog Search



Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon.

Simon, Axel. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781848000179
  • Physical Description: online resource.
  • Publisher: London : Springer London, 2008.
Subject: Computer science.
Software engineering.
Logic design.
Electronic data processing.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Numeric Computing.

Additional Resources