Вы здесь
Naumann D.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods: Foundations and Applications: Proc./15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 2012 | 2012 | Lecture Notes in Computer Science |
|
01.10.2012 | |||
| СБ | Unifying Theories of Programming: Revised Selected Papers/5th International Symposium, UTP 2014, Singapore, May, 2014 | 2015 | Lecture Notes in Computer Science |
|
12.03.2015 |