NewsEntry (2016/01/27)

From LRDE

Revision as of 16:28, 28 January 2016 by Daniela (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