Вы здесь
Lev-Ami T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Putting Static Analysis to Work for Verification: A Case Study | 2000 | Lev-Ami T., Reps T., Sagiv M., Wilhelm R. | Software Engineering Notes | 14.12.2000 | |||
| СТ | TVLA: A System for Implementing Static Analyses | 2000 | Lev-Ami T., Sagiv M. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 19.08.2000 |