Вы здесь
Anand S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Symbolic Execution with Abstract Subsumption Checking | 2006 | Anand S., Pasareanu C. S., Visser W. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.05.2006 |