Peter Müller - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Registered user since Wed 18 Jun 2014

Name:Peter Müller

Affiliation:ETH Zurich

Contributions

ECOOP 2015	Modular Verification of Finite Blocking in Non-terminating Programs Session Chair of Type Systems (part of Research Track) Committee Member in Programme Committee within the Research Track-track
FTfJP 2015	Committee Member in Steering Committee within the FTfJP-track
Show activities from other conferences