Ievgen Ivanov, Mykola Nikitchenko. On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. In Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Vyacheslav Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Vladimir S. Peschanenko, Yaroslav Prytula, Mykola Nikitchenko, Aleksander Spivakovsky, editors, Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018. Volume 2104 of CEUR Workshop Proceedings, pages 716-724, CEUR-WS.org, 2018. [doi]
Abstract is missing.