Prof.Dr. Markus Müller-Ohm
Forschungsschwerpunkte
- Programmanalyse
- Softwareverifikation
- Theorie der Parallelität
- Aufbau, Analyse und Verifizierung von Softwaresystemen
- Compiler- und Programmüberprüfung
- Prozessalgebra
- Modellprüfung
Westfälische Wilhelms Universität Münster
Einsteinstraße 62 | 48149 Münster
716
Warning: implode(): Invalid arguments passed in
/www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php on line
300
Fatal error: Uncaught PDOException: SQLSTATE[42000]: Syntax error or access violation: 1064 You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near ')' at line 1 in /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php:302
Stack trace:
#0 /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php(302): PDOStatement->execute(Array)
#1 {main}
thrown in
/www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php on line
302