Experiments on self-applicability in the C-light verification system. Part 2 | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2014

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

верификация

спецификация

Стр.:

P.93-105

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

Bibliogr.: p.104-105

Издательство:

Источник:

Bulletin of the Novosibirsk Computing Center

Номер:

37

Карточка:

Б2.2.

Promsky A. V..

Experiments on self-applicability in the C-light verification system. Part 2: Springer// Bulletin of the Novosibirsk Computing Center-2014, №37.-P.93-105
Bibliogr.: p.104-105

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

PAP31 936