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

Вы здесь

Автор:

Nepomniaschy V. A.

Kondratyev D. A.

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

1

Вид:

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

Год:

2013

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

упрощение

смешанный

семантика

спецификация

верификация

Стр.:

P.50-59

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

Bibliogr.: p.58-59

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

Источник:

Proceedings of the 8th International Computer Science Symposium in Russia

Карточка:

Б2.23.

Maryasov I. V., Nepomniaschy V. A., Promsky A. V., Kondratyev D. A..

Automatic C Program Verification Based on Mixed Axiomatic Semantics-Yekaterinburg.// Proceedings of the 8th International Computer Science Symposium in Russia, 2013.-P.50-59
Bibliogr.: p.58-59

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

PAP31 831