Dutch Model Checking Day

"Advanced model checking algorithms"

May 9th, 2014, University of Twente



UT logo