Lorenzo Platania

According to our database, Lorenzo Platania authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Bounded model checking of software using SMT solvers instead of SAT solvers.

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania

Int. J. Softw. Tools Technol. Transf., 2009