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
|