Automata-based verification of programs with tree updates | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2010

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

верификация

обработка данных

древесный

теория автоматов

логика хоара

Стр.:

P.1-31

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

Bibliogr.: p.30-31

Источник:

Acta Informatica

Номер:

1

Том:

47

Карточка:

Б2.14, Б2.2.

Habermehl P., Iosif R., Vojnar T..

Automata-based verification of programs with tree updates// Acta Informatica-2010, №1.-Vol. 47.-P.1-31
Bibliogr.: p.30-31

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

PAP31 507