Вы здесь
Masse D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 | |||
СТ | Combining Forward and Backward Analyses of Temporal Properties | 2001 | Masse D. | Lecture Notes in Computer Science | 24.05.2001 |