Validation and Verification of Automated Systems - Javier Ibanez-Guzman - E-bok | Bokus