Вы здесь

Zakharov V.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI '19, Novosibirsk, Russia, July 2019 2019
  1. Zakharov V.
  2. Shilov N.
  3. Anureev I.
05.08.2019