Difference between revisions of "People:Carsten Otto"
From Termination-Portal.org
Jump to navigationJump to search| Line 22: | Line 22: | ||
[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] | ||
<poll> | <poll> | ||
| − | Test | + | Test Poll2 |
| − | + | Th2is poll is nice. | |
| − | No | + | No 2one likes this poll. |
| − | + | Poll2y want crackers! | |
</poll> | </poll> | ||
Revision as of 07:29, 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
<poll>
Test Poll2 Th2is poll is nice. No 2one likes this poll. Poll2y want crackers!
</poll>
