GdT programmation / séminaire IRILLRSS

Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob

11/14/2012
Relatore/i : Nicolas Pouillard (IT University of Copenhagen, DemTech project)

Maggiori dettagli qui …
Emmanuel.Chailloux (at) nulllip6.fr
Mentions légales
Mappa del sito