A Front-End Generator for Verification Tools

Вы здесь

Автор:

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

Вид:

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

Год:

1995

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

Стр.:

P.153-173.

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

Bibliogr.: p.171-173.

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

Источник:

Том:

1019

Карточка:

Б2.15, Б2.23, Б3.54.

Cleaveland R., Madelaine E., Sims S..

A Front-End Generator for Verification Tools: Springer// Lecture Notes in Computer Science-1995.-Vol. 1019.-P.153-173.
Bibliogr.: p.171-173.

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

PAP13 975