Philipp Ruemmer
|
Philipp
Ruemmer
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Info
|
Themes |
Verification | Software Engineering | Foundations, Logic and Structures |
|
Activities |
|
|
Projects |