Revised Mixed Axiomatic Semantics Method of C Program Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V.

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

1

Вид:

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

Год:

2012

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

верификация

смешанный

аксиоматическая семантика

Стр.:

P.16-23

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

Bibliogr.: p.23

Место издания:

Nizhni Novgorod

Источник:

Proceedings of the 7th International Computer Science Symposium in Russia

Карточка:

Б3.5.

Anureev I., Maryasov I., Nepomniaschy V..

Revised Mixed Axiomatic Semantics Method of C Program Verification-Nizhni Novgorod.// Proceedings of the 7th International Computer Science Symposium in Russia, 2012.-P.16-23
Bibliogr.: p.23

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

ISI3 289