NewsEntry (2016/01/27)

From LRDE

Revision as of 16:28, 28 January 2016 by Daniela Becker (talk | contribs) (Created page with "{{News |title=[http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Une introduction à la preuve formelle de sécurité by Pierre-Yves Strub - IMDEA ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title LRDE Seminar on Performance and Genericity - Une introduction à la preuve formelle de sécurité by Pierre-Yves Strub - IMDEA Software Institute - Espagne
Sub-Title
Date 2016/01/27
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2016/01/27)&oldid=64091"