Giustolisi, Rosario <br/><br/>
Modelling and verification of secure exams 

 - 1st 
 - Switzerland  Springer  2018 
 - xi, 138P p. 
<br/><br/><label>ISBN: </label>9783319671062