Вы здесь

Dutle A.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018 2018 Lecture Notes in Computer Science
  1. Dutle A.
  2. Munoz C.
  3. Narkawicz A.
07.04.2018
СБ NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021 2021 Lecture Notes in Computer Science
  1. Dutle A.
  2. Moscato M.M.
  3. Titolo L.
  4. Munoz C. A.
30.06.2021