idamotz/Master

Modular Soundness Checking for Feature Model Evolution Plans

TeX