О генерации условий корректности для императивных программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Шилов Н. В.

Ануреев И. С.

Бодин Е. В.

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

1

Вид:

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

Год:

2008

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

верификация

императивный

программа

корректность

Стр.:

С.5-23

Источник:

Программирование

Номер:

6

Карточка:

Б2.23, Б3.54.

Шилов Н. В., Ануреев И. С., Бодин Е. В..

О генерации условий корректности для императивных программ// Программирование-2008, №6.-С.5-23

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

ISI2 986