Registered user since Wed 10 Apr 2019

Name: Thomas Given-Wilson

Country: Belgium

Affiliation: Université catholique de Louvain

Contributions

SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track