Search - SEAL - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

1 results

1. SEAL
2. Team
3. Head of Scientific Staff
Prof. Dr. Jakob Rehof

1-5, 2014, Grenoble, France. SEFM 2013 (PC member): 11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain. BEAT 2013 (PC member): 1st International [...] Workshop on Behavioural Types. January 22, 2013, Rome, Italy. Collocated with POPL 2013. FMICS 2012 (PC member): 17th International Workshop on Formal Methods for Industrial Critical Systems Paris (France) …