People:Carsten Otto
From Termination-Portal.org
Jump to navigationJump to search
Carsten Otto
- Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen University, Germany)
- home page: http://verify.rwth-aachen.de/otto/
- email: mailto:otto@informatik.rwth-aachen.de
Test Poll2 Th2is poll is nice. No 2one likes this poll. Poll2y want crackers!
</poll>