Вы здесь
Reps T. W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Static Program Analysis via 3-Valued Logic | 2004 | Reps T. W., Sagiv M., Wilhelm R. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 04.09.2004 | ||
| СТ | Verification via Structure Simulation | 2004 | Immerman N., Rabinovich A., Reps T. W., Sagiv M., Yorsh G. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 04.09.2004 |