Effective generation of verification conditions for non-deterministic unstructured programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2007

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

верификация

генерация

эффективность

сложность

алгоритм

Стр.:

P.39-63

Выпуск:

26

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

Bibliogr.: p.60

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.1.

Anureev I. S., Bodin E. V., Shilov N. V..

Effective generation of verification conditions for non-deterministic unstructured programs// Bulletin of the Novosibirsk Computing Center-2007.-P.39-63
Bibliogr.: p.60

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

ISI2 946