Черненко Иван Михайлович

Публикации в базе данных Math-Net.Ru

1. Шаблоны требований в дедуктивной верификации poST-программ
   
   Модел. и анализ информ. систем, 31:1 (2024),  6–31