People:Marc Brockschmidt
From Termination-Portal.org
Jump to navigationJump to search
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