Seminars
Research Topics in Software Engineering
Lecturers: Peter Müller, Ralf Jung, Michalis Kokologiannakis
Research Topics in Software Engineering
Lecturers: Peter Müller, Markus Püschel
Research Topics in Software Engineering
Lecturers: Peter Müller, Markus Püschel
Research Topics in Software Engineering
Lecturers: Peter Müller, Markus Püschel
Software Engineering Seminar
Lecturers: Peter Müller, Markus Püschel, M. Schwerhoff
Research Topics in Software Engineering
Lecturers: Peter Müller, Markus Püschel, Zhendong Su, Martin Vechev
Programming Systems Seminar
Lecturers: Peter Müller, Martin Vechev
Research Topics in Software Engineering
Lecturers: Thomas Gross, Peter Müller, Markus Püschel, Martin Vechev
Programming Languages Seminar
Lecturers: Peter Müller, Martin Vechev
Programming Systems Seminar
Lecturers: Peter Müller, Martin Vechev
Research Topics in Software Engineering
Lecturer: Peter Müller
Programming Languages Seminar
Lecturer: Peter Müller, Martin Vechev
Programming Systems Seminar
Lecturers: Peter Müller, Martin Vechev
Research Topics in Software Engineering
Lecturer: Peter Müller
Programming Languages Seminar
Lecturer: Peter Müller, Martin Vechev
Programming Systems Seminar
Lecturers: Peter Müller, Martin Vechev
Software Engineering Seminar
Lecturer: Peter Müller
Programming Languages Seminar
Lecturers: Peter Müller, Martin Vechev
Research Topics in Software Engineering
Lecturers: Peter Müller, Martin Vechev
Programming Systems Seminar
Lecturers: Peter Müller and Martin Vechev
Programming Languages Seminar
Lecturers: Peter Müller, Martin Vechev
Research Topics in Software Engineering
Lecturers: Peter Müller, Martin Vechev
Software and Security Testing
Lecturers: David Basin, Peter Müller
Software Engineering
Lecturers: Peter Müller, Laura Kovacs
Software Engineering
Lecturers: Bertrand Meyer, Peter Müller, Daniel Kröning
Specification and Verification of Object-Oriented Software
Lecturers: Peter Müller, Daniel Kröning
Specification and Verification of Object-Oriented Software
Lecturers: Peter Müller, Daniel Kröning
Referenzen und Aliasing in objektorientierten Programmen
Lecturers: Armin Biere, Peter Müller
Spezifikation und Verifikation objektorientierter Software
Lecturers: Armin Biere, Peter Müller