Format verification of programs for abstract register machines | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

2013

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

абстрактная интерпретация

регистрационная машина

случайный

формальная спецификация

автоматический

верификация

интерактивный

доказательство теорем

верификационная система

Стр.:

P.39-56

Выпуск:

35

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

Bibliogr.: p.56

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.11.

Chkliaev D. A., Nepomniaschy V. A..

Format verification of programs for abstract register machines// Bulletin of the Novosibirsk Computing Center-2013.-P.39-56-(Computer Science, Вып.35).
Bibliogr.: p.56

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

ISI3 303