Вы здесь

Venet A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Scalable Nonuniform Pointer Analysis for Embedded Systems 2004 Venet A. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ Nonuniform Alias Analysis of Recursive Data Structures and Arrays 2002 Venet A. Lecture Notes in Computer Science 31.10.2002
СТ Automatic Determination of Communication Topologies in Mobile Systems 1998 Venet A. Lecture Notes in Computer Science 01.10.1998
СТ Abstract Interpretation of the -Calculus 1997 Venet A. Lecture Notes in Computer Science 20.02.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./5th International Symposium, NFM 2013, Moffett Field,CA,USA, May 2013 2013 Lecture Notes in Computer Science
  1. Brat G.
  2. Rungta N.
  3. Venet A.
11.06.2013