Анализ регионов для дедуктивной верификации Си-программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Мандрыкин М. У.

Хорошилов А. В.

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

1

Вид:

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

Год:

2016

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

модель памяти

разделение

дедуктивный

верификация

c-программа

семантика

Стр.:

С.3-29

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

Библиогр.: c.28-29

Источник:

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

Номер:

5

Карточка:

Б3.54.

Мандрыкин М. У., Хорошилов А. В..

Анализ регионов для дедуктивной верификации Си-программ// Программирование-2016, №5.-С.3-29
Библиогр.: c.28-29

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

PAP31 988