- phisch at cs.rwth-aachen.de
- Address
- Room 4230
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21222
I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.
Publications
Show all |
---|
I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.
Show all |
---|