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