Validation and Verification of Automated Systems - Andrea Leitner - Häftad | Bokus