Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer. Variational correctness-by-construction. In Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake, editors, VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM, 2020. [doi]
Abstract is missing.