Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 - Maurizio - Document - PDFSEARCH.IO

First Page	Meta Content
	Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Document Date: 2013-07-17 03:25:20 Open Document File Size: 434,52 KB Share Result on Facebook

Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1Add to Reading List