Institut für Softwaretechnik und Progammiersprachen

	Universität zu Lübeck Im Focus das Leben Ratzeburger Allee 160 • D-23538 Lübeck • Germany Tel.: +49 451 500-0 • Fax: +49 451 500-3016
	Institut für Softwaretechnik und Programmiersprachen Direktor: Prof. Dr.rer.nat. Martin Leucker Ratzeburger Allee 160 • D-23538 Lübeck • Germany Tel.: +49 451 500-5551 • Fax: +49 451 500-5552 Email:

Institut für Softwaretechnik und Programmiersprachen