@phdthesis{Soleimanifard740903,
author = {Soleimanifard, Siavash},
institution = {KTH, Theoretical Computer Science, TCS},
note = {QC 20140828},
pages = {vii, 67},
school = {KTH, Theoretical Computer Science, TCS},
title = {Algorithmic Verification of Procedural Programs in the Presence of Code Variability},
series = {TRITA-CSC-A},
number = {2014:11},
year = {2014}
}