Prof. Dr. Jakob Rehof
Prozesse Proseminar Einführung in die Kategorientheorie Logische Methoden des Software Engineering 1 Logische Methoden des Software Engineering 2 Vorheriger Tab Nächster Tab Biographie Konferenzen und Events [...] with SPLC 2015, 19th International Software Product Line Conference, July 20 2015, Nashville TN. SEFM 2015 (PC member): 13'th International Conference on Software Engineering and Formal Methods, September [...] International Conference on Software Engineering and Formal Methods September 1-5, 2014, Grenoble, France. SEFM 2013 (PC member): 11th International Conference on Software Engineering and Formal Methods …