Partial Correctness of GCD Algorithm

Data publikacji: 24 gru 2018

Zakres stron: 165 - 173

Przyjęty: 29 cze 2018

DOI: https://doi.org/10.2478/forma-2018-0014

Słowa kluczowe

greatest common divisor, nominative data, program verification

© 2018 Ievgen Ivanov et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.