- Click to reveal
- 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 Harold Bruintjes
| 2019 | |
|---|---|
| Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS, Springer, 2019. | |
| Show all | |
Talks
| Show all |
|---|