NewsEntry (2015/04/09)
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Title | Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a one week visit at the LRDE. |
---|---|
Sub-Title | He will speak on 'Stutter-Invariance Checks & Testing Automata' at the Working Seminar on Formal Models, Discrete Structures, and Algorithms. |
Date | 2015/04/09 |