Вы здесь

Bagnara R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Correctness of Set-Sharing 1998 Hill P. M., Bagnara R., Zaffanella E. Lecture Notes in Computer Science 01.10.1998
СТ Static Analysis of CLP Programs over Numeric Domains 1992 Bagnara R., Giacobazzi R., Levi G. BIGRE 05.11.1992