A Functional Correctness Model of Program Verification

Вы здесь

Автор:

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

Вид:

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

Год:

1990

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

Стр.:

P.30-39.

Реферат:

Функциональная модель корректности верификации программ.

Источник:

Номер:

Том:

Карточка:

Б2.23.

Zelkowitz M..

A Functional Correctness Model of Program Verification// Computer-1990, №11.-Vol. 23.-P.30-39.

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

PAP1 551