Multi-prover Verification of C Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Fillliatre J. -Ch.

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

1

Вид:

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

Год:

2004

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

c-программа

верификация

аннотация

логика хоара

указатель

формальный

доказательство

Стр.:

P.15-29

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

Bibliogr.: p.29

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

3308

Карточка:

Б2.14, Б2.23.

Fillliatre J. -Ch., Marche C..

Multi-prover Verification of C Programs-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2004.-Vol. 3308.-P.15-29-(Lecture Notes in Computer Science).
Bibliogr.: p.29

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

PAP29 820