Parameterized Interfaces for Open System Verification of Product Lines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Colin Blundell' in GoogleThis author has not been identified. Look up 'Kathi Fisler' in GoogleIdentified as Shriram Krishnamurthi This author has not been identified. Look up 'Pascal Van Hentenryck' in Google

runs on WebDSL