GdT programmation / séminaire IRILL
Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
Mercredi 14 novembre 2012Intervenant(s) : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
Plus d'informations ici …
Emmanuel.Chailloux (at) nulllip6.fr