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
Research interests:formal methods, model checking, timed systems, system safety, automotive software, machine learning, intelligent systems


SPIN 2019 Committee 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