Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene - Pointer analysis - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-13 06:54:26		Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene Add to Reading List Source URL: cs.unibg.it Download Document from Source Website File Size: 189,63 KB Share Document on Facebook