Вы здесь

Christakis M.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020 2020 Lecture Notes in Computer Science
  1. Christakis M.
  2. Polikarpova N.
  3. Duggirala P.S.
  4. Schrammel P.
18.01.2021