ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
ISSTA 2019 (series) / Georg Weissenbacher

Not registered as user yet

Name: Georg Weissenbacher

Affiliation: Technische Universität Wien

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

Contributions

SPIN 2019Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile