Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibaut Benjamin
conf.researchr.org general profile
STAF 2023 profile
Not registered as user yet
Name:
Thibaut Benjamin
Country:
France
Affiliation:
Université Paris-Saclay, CEA, List
Contributions
2023
TAP
Presenter of Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking within the Research Papers-track
Share
x
Thu 21 Nov 15:23