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

	Large-scale Complex IT Systems Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Kwiatkowska, John McDermid and Richard Paige 1. Introduction On the afternoon of 6th May 2010, the US equity marke DocID: 1mrbO - View Document
	svart_logo_eng_SWEDEN_wide [Konvert] DocID: 1azVI - View Document
	PDF Document DocID: 17nbg - View Document
	CURRICULUM VITA JOEL MOSES July 2013 Personal Data Born: Petakh Tikvah, Israel Arrived in US: September 1, 1954 DocID: 12Ty1 - View Document
	List of articles for SDM This is a list of articles that I used in the SDM module at the University of York. The articles were made available to students through bibliographic services paid for by the University of York DocID: ZttD - View Document