People:Marc Brockschmidt
(Redirected from User:Mmjb)
Marc Brockschmidt
- Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
- home page: http://verify.rwth-aachen.de/brockschmidt/
- email: mailto:brockschmidt@informatik.rwth-aachen.de