FormalCAD People

  • Prof. Michael Kohlhase (Principal Investigator Jacobs University)
  • Prof. Lutz Schröder (Principal Investigator DFKI)