Andrea Alborghetti

	1997
1		Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti: Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226

Coauthor Index

1	Angelo Gargantini	[1]
2	Angelo Morzenti	[1]