University of Münster
Schlossplatz 2, 48149 Münster
Telephone: +49 (251) 83-0
Fax: +49 (251) 83-3 20 90
E-mail: mailbox@uni-muenster.de
The University of Münster is a statutory body and an institution of the Land of North Rhine-Westphalia.
It is represented by the Rector.
Turnover tax identification number: DE 126118759
Prof. Dr. Markus Müller-Olm
Einsteinstraße 62
48149 Münster
Phone: +49 251 83-33765
Fax: +49 251 83-33755
E-mail: markus.mueller-olm@uni-muenster.de
This imprint applies to information provided on the website set up by the Software Construction and Verification Group at the Department of Computer Science of the WWU Münster, which can be accessed via the URL https://www.uni-muenster.de/Informatik.AGMueller-Olm/. Editorial responsibility for all the other pages on this Internet server rests with the offices, authorities or persons who have set up and published the pages.
The information provided on this website has been compiled by the authors of these Web pages with the utmost care. Nonetheless, the authors or the University cannot assume liability for the topicality, accuracy, completeness or quality of the information in question. The University of Münster, the authors of these Web pages and the persons responsible for this website cannot be held liable for material or non-material damage caused by incorrect or incomplete information, provided that the deficiencies in question are not deliberate or due to gross negligence.
The above also applies to information provided on websites to which the Internet user is referred by means of a hyperlink. Although the contents of these websites are entirely beyond the sphere of responsibility of the University of Münster, the sites did not contain any illegal material when the link was set up. Since it is impossible to exert any kind of influence on the form or content of the linked websites, the University of Münster, the authors of these Web pages and the persons responsible for this website cannot accept liability for damage caused by incorrect or incomplete information provided on the websites to which the Internet user is referred by means of a link.
All legal disputes which may arise in connection with this website are subject to German law.