Вы здесь
Georgieva L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Bounded Model Checking of Pointer Programs | 2005 | Charatonik W., Georgieva L., Maier P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 19.10.2005 |