Don Batory UT-Austin Computer Sciences ASM’071 Feature Modularized Theorems in Software Product Lines Don Batory Department of Computer Sciences University.
Feature Modularized Theorems in Software Product Lines
