Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

First Page		Document Content
Date: 2013-03-14 08:11:04		Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.iasi.cnr.it Download Document from Source Website File Size: 430,16 KB Share Document on Facebook