Для цитирования:

Ковалев Д.Ю. Логика Хоара для императивного языка, учитывающего некоторые аппаратные ограничения. Чебышевский сборник. 2025;26(3):113-124. https://doi.org/10.22405/2226-8383-2025-26-3-113-124

For citation:

Kovalev D.Yu. Hoare logic for an imperative language considering some hardware limitations. Chebyshevskii Sbornik. 2025;26(3):113-124. (In Russ.) https://doi.org/10.22405/2226-8383-2025-26-3-113-124