Marcos Grandury

Orcid: 0009-0002-3598-3310

According to our database¹, Marcos Grandury 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