An Approach To Formalization of an Extension of Floyd-Hoare Logic
1st International Workshop on Rigorous Methods in Software Engineering, Kyiv, Ukraine, May 15, 2017
Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
