Вы здесь
Ogawa M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automatic Verification Based on Abstract Interpretation | 1999 | Ogawa M. | Lecture Notes in Computer Science | 25.11.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013 | 2013 | Lecture Notes in Computer Science |
|
18.11.2013 |