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