Гратинский Владимир Анатольевич

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

1. Экспертная оценка результатов верификации инструментов верификации моделей программ
   
   Труды ИСП РАН, 32:5 (2020),  7–20