ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Stefan Leue

Registered user since Sun 30 Oct 2016

Name: Stefan Leue

Country: Germany

Personal website:

Research interests: formal methods, model checking, timed systems, system safety, automotive software, machine learning, intelligent systems


SPIN 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile