Программирование, 2020, № 5, стр. 72-72

В номер 4, 2020 г. вносится следующее изменение: в содержании номера меняется название статьи “Некоторые недостатки входного синтаксиса KeYmaera” автора Т. Баара. Англоязычное название статьи “A Metamodel-based Approach for Adding Modularization to KeYmaera’s Input Syntax” меняется на “Some Deficiencies of the KeYmaera’s Input Syntax”.

“Some Deficiencies of the KeYmaera’s Input Syntax” является дословным переводом названия с русского языка. Изменение вызвано снятием с публикации статьи из англоязычной версии журнала.