Modal Kleene Algebra Applied to Program Correctness.

Victor B. F. Gomes, Georg Struth

Browse the full FM paper archive.