Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Raul Lopez
conf.researchr.org general profile
SPLASH 2023 profile
Not registered as user yet
Name:
Raul Lopez
Country:
Spain
Contributions
2023
FTSCS
Author of Symbolic analysis by using folding narrowing with irreducibility and SMT constraints within the FTSCS 2023-track
Share
x
Fri 22 Nov 13:16