Symbolic Transfer Function-based Approaches to Certified Compilation

Вы здесь

Автор:

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

Колл. автор:

Вид:

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

Год:

2004

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

Стр.:

P.1-13

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

Bibliogr.: p.12

Место издания:

Где проводился:

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

Источник:

Карточка:

Б3.54, Б3.22, Б2.23.

Rival X..

Symbolic Transfer Function-based Approaches to Certified Compilation-Нью-Йорк.: ACM Order Department// POPL 2004, 2004.-P.1-13
Bibliogr.: p.12

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

PAP28 807