Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Georg Weissenbacher

Registered user since Tue 27 Oct 2020

Name:Georg Weissenbacher
Affiliation:Technische Universit├Ąt Wien

Contributions

SPIN 2019 Extracting Safe Thread Schedules from Incomplete Model Checking Results
Show activities from other conferences

ISSTA 2019-profile
View general profile