[VMCAI'24] On the Verification of a Subgraph Construction Algorithm | ACM SIGPLAN | Podwise