Automatic Inference of Class Invariants | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

инвариант

объектно-ориентированный язык

семантика

Стр.:

P.211-222

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

Bibliogr.: p.222

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2937

Карточка:

Б2.24, Б3.5.

Logozzo F..

Automatic Inference of Class Invariants: Springer// Lecture Notes in Computer Science-2004.-Vol. 2937.-P.211-222
Bibliogr.: p.222

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

PAP28 121