Catching Bugs in the Web of Program Invariants | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Krishnamurthi S.

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

1

Вид:

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

Год:

1996

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

отладчик

Стр.:

P.23-32

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

Bibliogr.: p.31-32

Источник:

SIGPLAN Notices

Номер:

5

Том:

31

Карточка:

Б3.53, Б3.54.

Flanagan C., Flatt M., Krishnamurthi S., Weirich S., Felleisen M..

Catching Bugs in the Web of Program Invariants// SIGPLAN Notices-1996, №5.-Vol. 31.-P.23-32
Bibliogr.: p.31-32

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

ACM4 986