%0
Generic
%T
Interactive Theorem Proving: Towards Verification of Product Lines
%A
Batory, Don
%I
Springer Berlin Heidelberg
%@
0302-9743
%@
1611-3349
%D
2011
%C
Springer Berlin Heidelberg
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation