idamotz/Master

Modular Soundness Checking for Feature Model Evolution Plans

语言：TeX · GitHub 星标：4 · Fork：0

话题：feature-model · master-thesis · software-evolution · software-product-lines · soundness · static-analysis · thesis

在 GitHub 上查看原仓库