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

Registered user since Sun 30 Oct 2016

Name: Stefan Leue

Country: Germany

Personal website: http://se.uni-konstanz.de/members/leue

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

Contributions

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

Using general profile