NewsEntry (2015/04/09)
From LRDE
Revision as of 14:16, 19 March 2015 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Alexandre Duret-Lutz invited to [http://www.fi.muni.cz/ Faculty of Informatics, Masaryk University], Czech Republic, for a one week visit at the LRDE. |subtitle=...")
| 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 |