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

	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt DocID: 1qnIY - View Document
	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China DocID: 1p8u1 - View Document
	Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK, DocID: 1k2Ck - View Document
	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University DocID: 1jmMf - View Document
	Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed] DocID: 11huU - View Document