Вы здесь

Houdini, an Annotation Assistant for ESC/Java

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.500-517
Библиография: 
Bibliogr.: p.516-517
Том: 
2021
Карточка: 

Б3.54, Б4.55.

Flanagan C., Leino K.R. M..

Houdini, an Annotation Assistant for ESC/Java// Lecture Notes in Computer Science-2001.-Vol. 2021.-P.500-517
Bibliogr.: p.516-517

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