Siavash Soleimanifard. Algorithmic Verification of Procedural Programs in the Presence of Code Variability. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.