On the Verification of the Correctness of a Subgraph Construction Algorithm.

Lucas Bltz, Viorica Sofronie-Stokkermans, Hannes Frey

Browse the full VMCAI paper archive.