Вы здесь

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