Modelling and Verification of Secure ExamsRosario GiustolisiPocketEngelskDel av serien Information Security and CryptographyLegg i handlekurvNettlager