Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Neeraj Kumar Singh
conf.researchr.org general profile
ICSE 2025 profile
ISEC 2027 profile
Not registered as user
Name:
Neeraj Kumar
Singh
Affiliation:
INPT-ENSEEIHT/IRIT
Contributions
2027
ISEC
Committee Member in Program Committee within the Research Papers-track
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 7 Sep 11:57