GdT programmation / séminaire IRILL
Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
14/11/2012Conferenciante(s) :
Nicolas Pouillard (IT University of Copenhagen, DemTech project)
Más detalles aquí
Emmanuel.Chailloux (at)
nulllip6.fr
