Атучин Михаил Михайлович

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

1. Атрибутные аннотации и их применение в дедуктивной верификации C-программ
   
   Модел. и анализ информ. систем, 18:4 (2011),  21–33
2. Верификация C-программ в мультиязыковой системе СПЕКТР
   
   Модел. и анализ информ. систем, 17:4 (2010),  88–100