Automated Reasoning for Derivation of Model-Driven SPLs.

Hugo Arboleda, Juan Francisco Daz, Victor Vargas, Jean-Claude Royer

Browse the full SPLC paper archive.