![](https://www.pdfsearch.io/img/02b0ad96639ca7181d7bcf829ed6fced.jpg) 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 1Add to Reading ListSource URL: www.iasi.cnr.itDownload Document from Source Website File Size: 430,16 KBShare Document on Facebook
|