@misc{oai:it.cnr:prodotti:160930,
	title = {Introductory paper - Special section on St.Eve workshop},
	author = {Bolognesi T. and Derrick J.},
	year = {2005}
}

Bolognesi, Tommaso
0000-0003-0854-2587

Formal Methods and Tools (2002-ongoing)

Bibliographic record
Deposited version

Deposited version