Automatic Verification of Pointer Programs using Monadic Second-Order Logic

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.226-234.

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

Bibliogr.: p.233-234

Источник:

Номер:

Том:

Карточка:

Б2.23.

Jensen J. L., Jorgensen M. E., Klarlund N., Schwartzbach M. I..

Automatic Verification of Pointer Programs using Monadic Second-Order Logic// SIGPLAN Notices-1997, №5.-Vol. 32.-P.226-234.
Bibliogr.: p.233-234

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

ACM5 174