TY  - BOOK
AU  - Giustolisi, Rosario
TI  - Modelling and verification of secure exams
SN  - 9783319671062
PY  - 2018///
CY  - Switzerland
PB  - Springer
ER  -