Registered user since Wed 4 Sep 2024
Name:Quentin Nivon
Country:France
Affiliation:Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France
Research interests:Formal Methods, BPMN, Graph Theory
Contributions
Using general profile
- Attending
- Track/Call
- Organization
- FormaliSE 2025 Committees
- Track Committees
- Organization Committee
- Program Committee
- Artifact Evaluation Committee
- Contributors
- People Index
- Search
- Series