GdT programmation / séminaire IRILL
Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
2012-11-14报告人 : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
更多具体信息 …
Emmanuel.Chailloux (at) nulllip6.fr