Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. Program Algebras with Monotone Floyd-Hoare Composition. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, editors, Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. Volume 1000 of CEUR Workshop Proceedings, pages 533-549, CEUR-WS.org, 2013. [doi]
Abstract is missing.