C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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