Back to Results
First PageMeta Content
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

Document Date: 2016-11-23 09:11:46

Open Document

File Size: 12,25 KB

Share Result on Facebook