Вы здесь
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