Joost-Pieter Katoen

Digital Library

ACM Fellows

Germany - 2020

citation

For contributions to model checking of software and probabilistic systems

Press Release

ACM Senior Member

Germany - 2009