POPL 2017
Sun 15 - Sat 21 January 2017
Roderick Bloem

Not registered as user yet

Name: Roderick Bloem

Affiliation: Institute of Software Technology, Graz University of Technology


VMCAI 2017Committee Member in Program committee
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
Show activities from other conferences

POPL 2017-profile
View general profile