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

Bolognesi, Tommaso
0000-0003-0854-2587

Formal Methods and Tools (2002-ongoing)

Bibliographic record

Deposited version

10.1007/s10270-005-0082-5