Sarah Nadi, Stefan Krüger. Variability Modeling of Cryptographic Components: Clafer Experience Report. In Ina Schaefer, Vander Alves, Eduardo Santana de Almeida, editors, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016. pages 105-112, ACM, 2016. [doi]
Abstract is missing.