Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Neeraj Kumar Singh
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Neeraj Kumar Singh
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
Mon 2 Jun 22:21
