Вы здесь

Integrating Formal Methods by Unifying Abstractions

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.441-460
Библиография: 
Bibliogr.: p.458-460
Том: 
2999
Карточка: 

Б2.2, Б2.1.

Boute R..

Integrating Formal Methods by Unifying Abstractions// Lecture Notes in Computer Science-2004.-Vol. 2999.-P.441-460
Bibliogr.: p.458-460

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