Login / Signup
Lorenzo Platania
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
Alessandro Armando
,
Jacopo Mantovani
,
Lorenzo Platania
Bounded model checking of software using SMT solvers instead of SAT solvers.
Int. J. Softw. Tools Technol. Transf.
11 (1) (2009)
Alessandro Armando
,
Jacopo Mantovani
,
Lorenzo Platania
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.
SPIN
(2006)