Towards C-light Program Verification: Overcoming the Obstacles

Вы здесь

Автор:

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

Вид:

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

Год:

2009

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

Стр.:

P.53-63

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

Bibliogr.: p.62-63

Источник:

Карточка:

Б2.23.

Promsky A. V..

Towards C-light Program Verification: Overcoming the Obstacles// PSI 09 IW on Program Understanding-2009.-P.53-63
Bibliogr.: p.62-63

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

ISI3 39