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.

Authors

Don S. Batory

Identified as Don S. Batory

Egon Börger

This author has not been identified. It may be one of the following persons: Look up 'Egon Börger' in Google