Mihaylov, D. ; Schroeder, U. (Thesis advisor) ; Hilgers, R.-D. (Thesis advisor)
DOI: 10.18154/RWTH-2023-00429
Verdenhalven, A. L. ; Schroeder, U. (Thesis advisor) ; Borchers, J. O. (Thesis advisor) ; Brocker, A. (Consultant) ; ; et al
DOI: 10.18154/RWTH-2023-00427
Shetty, D. R. ; Schroeder, U. (Thesis advisor) ; Lichter, H. (Thesis advisor) ; Ali, L. K. N. (Consultant)
DOI: 10.18154/RWTH-2023-00418
Dörenberg, C. ; van Treeck, C. A. (Thesis advisor) ; Frisch, J. (Thesis advisor) ; Hirt, E. (Consultant)
Shutong, L. ; van Treeck, C. A. (Thesis advisor) ; Frisch, J. (Thesis advisor) ; Huang, Q. (Consultant)
Müller, F. ; Pradel, G. (Thesis advisor) ; Pabst, O. (Thesis advisor)
Manti, J. S. ; Pradel, G. (Thesis advisor) ; Lüscher, B. (Thesis advisor) ; Musabyimana, J.-P. (Consultant)
URL: https://publications.rwth-aachen.de/record/856612/files/856612_titelseite.pdf
Müller, M.
URL: https://mkonersmann.de/perm/publications/Mueller2010FormalComponentsInJava_MSc.pdf
Gotzen, D. ; Schroeder, U. (Thesis advisor) ; Kuhlen, T. (Thesis advisor) ; Görzen, S. (Consultant) ; ; et al
DOI: 10.18154/RWTH-2022-10606
Eckhardt, J. ; Müller, M. S. (Thesis advisor) ; Schulz, M. (Thesis advisor) ; Schürhoff, D. (Consultant)
DOI: 10.18154/RWTH-2022-10349