Towards Modular Verification of Software Product Lines with mCRL2.

Maurice H. ter Beek, Erik P. de Vink

Browse the full ISoLA paper archive.