Alexander Gryzlov

Orcid: 0000-0001-6188-0417

According to our database¹, Alexander Gryzlov authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version).

[DOI]

CoRR, January, 2025

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach.

[DOI]

Proc. ACM Program. Lang., 2025