Вы здесь
Encoding Object-Z in Isabelle/HOL
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Стр.:
P.82-99
Библиография:
Bibliogr.: p.98-99
Издательство:
Источник:
Том:
2272
Карточка:
Б2.24.
Smith G., Kammuller F., Santen T..
Encoding Object-Z in Isabelle/HOL: Springer// Lecture Notes in Computer Science-2002.-Vol. 2272.-P.82-99
Bibliogr.: p.98-99
Таблица в старой библиотеке:
PAP24 440