Вы здесь

Главная

Rozier K. Y.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019 2019 Lecture Notes in Computer Science
  1. Badger J. M.
  2. Rozier K. Y.
 28.06.2019
СБ NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014 2014 Lecture Notes in Computer Science
  1. Badger J. M.
  2. Rozier K. Y.
 22.04.2014