Professor in Computer Science Chalmers University of Technology Gothenburg, Sweden
+46-31-7725424 koen•chalmers·se
introduction to functional programming
automated reasoning functional programming software testing model checking SAT-based algorithms
FMCAD 2014 IJCAR 2014 CAV 2014
Michal Palka Ann Lillieström Dan Rosén Anton Ekblad Inari Listenmaa Nikita Frolov (*) John Camilleri (*)