Poprzednia strona
Rekrutacja 2022/23
An Approach To Formalization of an Extension of Floyd-Hoare Logic
A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
() 504-523
