Not registered as user yet
Name:Cyrille Jegourel
Affiliation:ISTD, Singapore University of Technology and Design
Contributions
| ASE 2019 | Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile