Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L’événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE),

…

Lire la suite ›