Вы здесь
Schrammel P.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020 | 2020 | Lecture Notes in Computer Science |
|
18.01.2021 |