Difference between revisions of "People:Carsten Otto"
From Termination-Portal.org
Jump to navigationJump to search| (One intermediate revision by the same user not shown) | |||
| Line 21: | Line 21: | ||
[http://verify.rwth-aachen.de/otto/ http://verify.rwth-aachen.de/otto/otto.jpg] | [http://verify.rwth-aachen.de/otto/ http://verify.rwth-aachen.de/otto/otto.jpg] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 07:30, 29 November 2011
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
