EasyCrypt: A Tutorial.

Gilles Barthe François Dupressoir Benjamin Grégoire César Kunz Benedikt Schmidt Pierre-Yves Strub

Published in: FOSAD (2013)

Keyphrases

cooperative
management system
artificial intelligence
feature extraction
learning environment