Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. In Timo Kehrer, Marianne Huchard, Leopoldo Teixeira, Christian Birchler, editors, Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024. pages 17-26, ACM, 2024. [doi]
Abstract is missing.