Formal Analysis of Electronic Exams.

Jannik Dreier Rosario Giustolisi Ali Kassem Pascal Lafourcade Gabriele Lenzini Peter Y. A. Ryan

Published in: SECRYPT (2014)

Keyphrases

formal analysis
formal methods
ban logic
agent model
knowledge representation
multiple choice
databases
mid term