![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 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](https://www.pdfsearch.io/img/e13ed4568836addd25f6cdeaf0f4c8eb.jpg) Date: 2016-11-23 09:11:46Computing 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 theAdd to Reading ListSource URL: ls5-www.cs.tu-dortmund.deDownload Document from Source Website File Size: 12,25 KBShare Document on Facebook
|