Algorithmic Verification of Procedural Programs in the Presence of Code Variability Siavash Soleimanifard and Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden {siavashs,dilian - Variability - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-09-30 09:04:09		Algorithmic Verification of Procedural Programs in the Presence of Code Variability Siavash Soleimanifard and Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden {siavashs,dilian}@csc.kth.se Add to Reading List Source URL: www.nada.kth.se Download Document from Source Website File Size: 566,19 KB Share Document on Facebook