Вы здесь
Berdine J.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |