Cedric Richter

Spezifikation und Modellierung von Softwaresystemen
Ehemaliger
33098 Paderborn
Liste im Research Information System öffnen
2020
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016-1028
C. Richter, E. Hüllermeier, M. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (2020)
2019
C. Richter, H. Wehrheim, in: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229-233