Type-checking Software Product Lines – A Formal Approach (2008)

by Christian Kästner , Sven Apel
Venue:In Proc. Int’l. Conf. Automated Software Engineering (ASE). IEEE CS
Citations:50 - 25 self