TY - BOOK AU - Marcus S. Fisher TI - Software Verification and Validation SN - 978-0-387-47939-2 PY - 2007/// CY - Germany PB - Springer KW - Computer Science KW - Software Verification and Validation UR - http://link.springer.com/openurl?genre=book&isbn=978-0-387-32725-9 ER -