Verification of Erlang Programs using Abstract Interpretation and Model Checking

Вы здесь

Автор:

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

Вид:

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

Год:

1999

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

Стр.:

P.261-272.

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

Bibliogr.: p.271

Источник:

Номер:

Том:

Карточка:

Б2.23, Б3.22, Б2.24.

Huch F..

Verification of Erlang Programs using Abstract Interpretation and Model Checking// SIGPLAN Notices-1999, №9.-Vol. 34.-P.261-272.
Bibliogr.: p.271

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

ACM6 139