Not registered as user yet

Name: Joost-Pieter Katoen

Affiliation: RWTH Aachen University

Personal website: http://www-i2.informatik.rwth-aachen.de/~katoen/

POPL 2017 Activities

• Author of A weakest pre-expectation semantics for mixed-sign expectations within the PPS-track in PPS 2017
• Show activities from other conferences