Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexander Gryzlov
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Alexander Gryzlov
Country:
Spain
Affiliation:
IMDEA Software Institute
Contributions
2025
ICFP
Author of Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach within the ICFP Papers-track
Share
x
Tue 9 Sep 08:08