Вы здесь

A Formal Framework for ASTRAL Inter-level Proof Obligations

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.90-108
Библиография: 
Bibliogr.: p.107-108
Место издания: 
Издательство: 
Том: 
989
Карточка: 

Б3.33, Б3.51.

Coen-Porisini A., Kemmerer R. A., Mandrioli D..

A Formal Framework for ASTRAL Inter-level Proof Obligations-Berlin, Heidelberg.: Springer// Software Engineering - ESEC 95, 1995.-Vol. 989.-P.90-108-(Lecture Notes in Computer Science).
Bibliogr.: p.107-108

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