Modularizing Theorems for Software Product Lines: The Jbook Case Study

Don S. Batory, Egon Börger. Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. UCS, 14(12):2059-2082, 2008.

Abstract

Abstract is missing.