Program Algebras with Monotone Floyd-Hoare Composition.

Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner

Browse the full ICTERI paper archive.