Петров Анатолий Александрович

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

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