Медведев Олег Валерьевич

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

1. Семантика языка описания аппаратуры HaSCoL
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, № 2,  81–96