Dario Carotenuto

	2007
2		Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542
1		Dario Carotenuto, Aniello Murano, Adriano Peron: 2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144

Coauthor Index

1	Alessandro Armando	[2]
2	Massimo Benerecetti	[2]
3	Jacopo Mantovani	[2]
4	Aniello Murano	[1]
5	Adriano Peron	[1]
6	Pasquale Spica	[2]