NewsEntry (2017/02/10)

From LRDE

Title Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm.
Sub-Title
Date

2017/02/10