An Approach To Formalization of an Extension of Floyd-Hoare Logic.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Browse the full ICTERI paper archive.