Pasquale Spica

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking. ASE (2007)