Вы здесь
Masse D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Combining Forward and Backward Analyses of Temporal Properties | 2001 | Masse D. | Lecture Notes in Computer Science | 24.05.2001 | |||
| СТ | Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties | 2002 | Masse D. | Lecture Notes in Computer Science | 31.10.2002 | |||
| СТ | Property Checking Driven Abstract Interpretation-Based Static Analysis | 2003 | Masse D. | Lecture Notes in Computer Science | 31.01.2003 |