Media type: E-Article Title: Interactive Theorem Proving: Towards Verification of Product Lines Contributor: Batory, Don imprint: Springer Berlin Heidelberg, 2011 Published in: Interactive Theorem Proving Language: Not determined DOI: 10.1007/978-3-642-22863-6_1 ISSN: 0302-9743; 1611-3349 Origination: Footnote: