Applying Automated Theorem Proving to Computer Security - Kelly McElroy - Häftad | Bokus