Harold Bruintjes

img_1978

Email
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

ORCID