Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christophe Chen
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Christophe Chen
Affiliation:
INPT-ENSEEIHT/IRIT
Contributions
2025
FormaliSE
Author of A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B within the Research Track-track
Share
x
Wed 18 Jun 22:17