NewsEntry (2016/01/27)
From LRDE
| 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 |
| 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 |