Not registered as user yet

Name: Georg Weissenbacher

Affiliation: Technische Universität Wien

Personal website: http://www.georg.weissenbacher.name/

POPL 2017 Activities

• Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track in VMCAI 2017
• Show activities from other conferences