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