RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Тиевский Станислав Дмитриевич
Публикации в базе данных Math-Net.Ru
Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
ПДМ. Приложение
, 2022, № 15,
80–90
©
МИАН
, 2024
