NewsEntry (2017/09/27)

From LRDE

Title LRDE Seminar on Performance and Genericity - Frama-C, une plateforme collaborative et extensible pour l'analyse de code C by Julien Signoles, CEA LIST, Laboratoire de Sûreté des Logiciels (LSL).
Sub-Title
Date 2017/09/27