Vincenzo Martena

	2004
3		Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco: Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353
	2002
2		Vincenzo Martena, Alessandro Orso, Mauro Pezzè: Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144
	2001
1		Vincenzo Martena, Pierluigi San Pietro: Alias Analysis by Means of a Model Checker. CC 2001: 3-19

Coauthor Index

1	Carlo Ghezzi	[3]
2	Alessandro Orso	[2]
3	Mauro Pezzè	[2]
4	Gian Pietro Picco	[3]
5	Pierluigi San Pietro	[1]

Colors in the list of coauthors