@misc{oai:it.cnr:prodotti:227146,
	title = {Se il computer conta i voti, tutti i voti contano?},
	author = {Mainetto G and Massink M},
	year = {2007}
}

Mainetto, Giovanni
Massink, Mieke
0000-0001-5089-002X

Formal Methods and Tools (2002-ongoing)

Bibliographic record