Dimitris Simos @ Institute for Software Technology, Graz University of Technology
Dimitris Simos is invited to the Graz University of Technology on 20 June 2016 to give a colloquium talk “Combinatorial Methods for Quality Assurance of Secure Software: Recent Results and Challenges Ahead” at the Institute for Software Technology in Graz.
The Abstract can be found here.