Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Volume 412 of Communications in Computer and Information Science, pages 355-378, Springer, 2013. [doi]
Abstract is missing.