Jakob Krause
Dahlem Center for Machine Learning and Robotics
Institut für Informatik
Fachbereich Mathematik und Informatik
wissenschaftlicher Mitarbeiter
Mitarbeit im vom BMBF geförderten Projekt "KLEE"
Sekretariat
siehe KLEE-Projekt
Mitarbeit im vom BMBF geförderten Projekt "KLEE"
siehe KLEE-Projekt