TY - BOOK AU - Axel Simon TI - Value-Range Analysis of C Programs SN - 978-1-84800-017-9 PY - 2008/// CY - Germany PB - Springer KW - Computer Science KW - Value-Range Analysis of C Programs UR - http://link.springer.com/openurl?genre=book&isbn=978-1-84800-016-2 ER -