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

Personal website: http://www.pm.inf.ethz.ch/people/pmueller/personal

Contributions

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