Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).

Alexandra Silva

Browse the full MFCS paper archive.