Dimitris Simos @ HVC17 in Haifa

Today at the 13th Haifa Verification Conference [HVC] Dimitris Simos is invited to give a tutorial on Combinatorial Security Testing. HVC is organized by IBM Research Haifa.