An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
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.