Verifying Concurrent Graph Algorithms.

Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner

Browse the full APLAS paper archive.