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

Вы здесь

Автор:

Швед П. Е.

Мутилин В. С.

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

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

1

Вид:

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

Год:

2012

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

статический

верификатор

реализация

ограничение

практический

использование

Стр.:

С.24-35

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

Библиогр.: c.35

Источник:

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

Номер:

3

Карточка:

Б3.54.

Швед П. Е., Мутилин В. С., Мандрыкин М. У..

Опыт развития инструмента статической верификации BLAST// Программирование-2012, №3.-С.24-35
Библиогр.: c.35

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

PAP31 743