Stefano Soffia

	2010
2		Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65
	2008
1		Stefano Soffia: Definition and Implementation of a Points-To Analysis for C-like Languages CoRR abs/0810.0753: (2008)

Coauthor Index

1	Franco Fummi	[2]
2	Giuseppe Di Guglielmo	[2]
3	Graziano Pravadelli	[2]
4	Marco Roveri	[2]

Last update Tue Feb 14 23:09:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page