Testing for refinement in Circus

Вы здесь

Автор:

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

Вид:

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

Год:

2011

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

Стр.:

P.97-147

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

Bibliogr.: p.144-147

Источник:

Номер:

Том:

Карточка:

Б3.54, Б3.15.

Cavalcanti A., Gaudel M. -C..

Testing for refinement in Circus// Acta Informatica-2011, №2.-Vol. 48.-P.97-147
Bibliogr.: p.144-147

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

PAP31 620