Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jules Massart
conf.researchr.org general profile
ECOOP 2026 profile
Registered user since Wed 29 Apr 2026
Name:
Jules Massart
Country:
France
Affiliation:
Independent Researcher
Contributions
2026
DEBT
Author of On-the-fly Abstract Debugging for Frama-C/Eva within the DEBT 2026-track
Share
x
Tue 3 Nov 01:35