An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Publié en ligne: 24 déc. 2018
Pages: 159 - 164
Accepté: 29 juin 2018
© 2018 Ievgen Ivanov et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.