Вы здесь

Bertrane J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs 2005 Bertrane J. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005