Proof-Directed De-compilation of Low-Level Code

Вы здесь

Автор:

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

Вид:

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

Год:

2001

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

Стр.:

P.352-366

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

Bibliogr.: p.366

Издательство:

Источник:

Том:

2028

Карточка:

Б3.22.

Katsumata S., Ohori A..

Proof-Directed De-compilation of Low-Level Code: Springer// Lecture Notes in Computer Science-2001.-Vol. 2028.-P.352-366
Bibliogr.: p.366

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

PAP22 968