- berger at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21206
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
Publications for Philipp Berger
| 2018 | |
|---|---|
 | Philipp Berger, Joost-Pieter Katoen, Erika Abraham, Thomas Rambow, Md Tawhid Bin Waez. Verifying Auto-Generated C Code from Simulink. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018. |
| Show all | |