Lorenzo Platania

	2009
2		Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded model checking of software using SMT solvers instead of SAT solvers. STTT 11(1): 69-83 (2009)
	2006
1		Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. SPIN 2006: 146-162

Coauthor Index

1	Alessandro Armando	[1] [2]
2	Jacopo Mantovani	[1] [2]