Вы здесь
Braga C.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015 | 2016 | Lecture Notes in Computer Science |
|
29.03.2016 | |||
| СБ | Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014 | 2015 | Lecture Notes in Computer Science |
|
18.01.2015 |