Joost-Pieter Katoen

Fakultät für Informatik · Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)

RWTH Aachen University · Aachen · Nordrhein-Westfalen