Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

First Page		Document Content
Date: 2016-11-23 09:11:46 Computing Software engineering Computer science Formal methods Theoretical computer science Bernhard Steffen Model checking Large-scale Complex IT Systems European Joint Conferences on Theory and Practice of Software Software development ACM Transactions on Programming Languages and Systems Draft:Tiziana Margaria		Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Download Document from Source Website File Size: 12,25 KB Share Document on Facebook

	Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the DocID: 1xUq3 - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1m6lC - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe DocID: 1m3wC - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1m3tB - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1lZdJ - View Document