Harold Bruintjes

Address

Room 4203
Ahornstraße 55
D-52074 Aachen

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen

ORCID