| Name | [Kœr]ectness In Theory |
|---|---|
| Category | NWERC |
| Affiliation |
Karlsruhe Institute of Technology |
| Country |
|
| Location | M9 |