Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties

Вы здесь

Автор:

Masse D.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2002

Ключевые слова:

Стр.:

P.428-443

Библиография:

Bibliogr.: p.443

Источник:

Lecture Notes in Computer Science

Том:

2477

Карточка:

Б2.24.

Masse D..

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties// Lecture Notes in Computer Science-2002.-Vol. 2477.-P.428-443
Bibliogr.: p.443

Таблица в старой библиотеке:

PAP25 735