TY  - DATA
AU  - Fisher,Marcus S.
ED  - SpringerLink (Online service)
TI  - Software Verification and Validation: An Engineering and Scientific Approach 
SN  - 9780387479392
PY  - 2007///
CY  - Boston, MA
PB  - Springer Science+Business Media, LLC
KW  - Artificial intelligence
KW  - Computer Science
KW  - Operating systems (Computers)
KW  - Software engineering
KW  - Artificial Intelligence (incl. Robotics)
KW  - Performance and Reliability
KW  - Programming Techniques
KW  - Software Engineering
KW  - Software Engineering/Programming and Operating Systems
UR  - http://dx.doi.org/10.1007/978-0-387-47939-2
ER  -