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