Parameterized Interfaces for Open System Verification of Product Lines

Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck. Parameterized Interfaces for Open System Verification of Product Lines. In 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. pages 258-267, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.