CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Joost-Pieter Katoen

Registered user since Sat 2 Feb 2019

Name: Joost-Pieter Katoen

Affiliation: RWTH Aachen University

Contributions

PPS 2016Author of On The Semantic Intricacies of Conditioning within the PPS 2016-track
Show activities from other conferences

POPL 2016-profile
View general profile