Вы здесь

Главная

Salaum G.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Industrial Critical Systems: Proc./16th International Workshop, FMICS 2011, Trento, Italy, August 2011 2011 Lecture Notes in Computer Science
  1. Salaum G.
  2. Schatz B.
 18.10.2011
СБ Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019 2019 Lecture Notes in Computer Science
  1. Olveczky P. C.
  2. Salaum G.
 14.10.2019