Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marcos Grandury
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Marcos Grandury
Country:
Spain
Affiliation:
IMDEA Software Institute; Universidad Politécnica de Madrid
Contributions
2025
ICFP
Author of Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach within the ICFP Papers-track
Share
x
Sun 2 Nov 08:40