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
CADE 2011 Haskell Symposium 2011 FMCAD 2011
Nick Smallbone Michal Palka Ann Lillieström Jean-Philippe Bernardy* Joel Svensson* Ramona Enache*