Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Julien Cohen
conf.researchr.org general profile
STAF 2024 profile
Not registered as user
Name:
Julien Cohen
Country:
France
Affiliation:
Nantes Université
Contributions
2024
ECMFA
Author of Automated Proof Tactics for Model Transformation within the Technical Track-track
Share
x
Sun 22 Dec 02:02