
Not registered as user yet
Name:Gregor Goessler
Affiliation:INRIA
Contributions
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
View general profile