An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Authors
Ievgen Ivanov
Taras Shevchenko National University, Kyiv, Ukraine
Artur Korniłowicz
Institute of Informatics, University of Białystok, Poland
Mykola Nikitchenko
Taras Shevchenko National University, Kyiv, Ukraine
Language: English
Page range: 159 - 164
Accepted on: Jun 29, 2018
Published on: Dec 24, 2018
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2018 Ievgen Ivanov, Artur Korniłowicz, Mykola Nikitchenko, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.