Вы здесь

Tarifa S.L.T.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Integrated Formal Methods: Proc./15th International Conference, IFM 2019, Bergen, Norway, December 2019 2019 Lecture Notes in Computer Science
  1. Ahrendt W.
  2. Tarifa S.L.T.
23.12.2019