ИСТИНА

• Охват: Международная
• Даты проведения: 25-29 сентября 2017
• Место проведения: Ереван, Armenia
• Организатор:
  National Academy of Sciences of Armenia
• Все конференции этой группы
• Добавил в систему: Хорошилов Алексей Владимирович

Доклады:

• 2017 On formalization of operating systems behaviour verification (Пленарный)
• Автор: Alexey Khoroshilov