@MISC{NOMIN_3.MIZ,
  AUTHOR = {Ivanov, Ievgen and Korni{\l}owicz, Artur and Nikitchenko, Mykola},
  TITLE = {An inference system of an extension of Floyd-Hoare logic for partial predicates},
  DAY = {29},
  MONTH = {June},
  YEAR = {2018},
  ADDRESS1 = {Taras Shevchenko National University\\Kyiv, Ukraine},
  ADDRESS2 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS3 = {Taras Shevchenko National University\\Kyiv, Ukraine},
  SUMMARY = {},
}
