Software Verification and Validation An Engineering and Scientific Approach - Fisher, Marcus S.; SpringerLink (Online service) (Boston, MA : Springer US, 2007)
Keywords: Computer science; Operating systems (Computers).; Software engineering; Artificial intelligence; Computer Science; Programming Techniques; Software Engineering/Programming and Operating Systems; Performance and Reliability; Artificial Intelligence (incl. Robotics).; Software Engineering