jpdeplaix@identi.ca
IRILL shared by at 2012-11-13T20:47:07+00:00 via web To: Public
Proving cryptographic schemes in Agda (featuring Bob & Alice) by Nicolas Pouillard => http://ur1.ca/awdcyIRILL shared by at 2012-11-13T20:47:07+00:00 To: Public
Proving cryptographic schemes in Agda (featuring Bob & Alice) by Nicolas Pouillard => http://ur1.ca/awdcyIRILL shared by at 2012-11-13T20:47:01+00:00 To: Public
Une journée Ocsigen chez IRILL. C'est ici : http://ur1.ca/awdcrIRILL shared by at 2012-11-13T20:47:01+00:00 via web To: Public
Une journée Ocsigen chez IRILL. C'est ici : http://ur1.ca/awdcrIRILL shared by at 2012-11-05T21:33:57+00:00 via web To: Public
Le 21 novembre, Prof. R. Bagnara viendra présenter une introduction informelle aux méthodes formelles http://bitly.com/REeiSea(n) person, a(n) person shared this.
IRILL shared by at 2012-11-05T21:33:57+00:00 To: Public
Le 21 novembre, Prof. R. Bagnara viendra présenter une introduction informelle aux méthodes formelles http://bitly.com/REeiSea(n) person, a(n) person shared this.