Verifying cross-cutting features as open systems

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler. Verifying cross-cutting features as open systems. In SIGSOFT FSE. pages 89-98, 2002. [doi]

Abstract

Abstract is missing.