SPLLIFT

MaRDI QIDQ28301swMATHFDO

Official website http://secure-software-engineering.github.io/SPLlift/

Cited in

(3)

• DaCapo
• Variability encoding: from compile-time to load-time variability
• Trustworthy variant derivation with translation validation for safety critical product lines

This page was built for software: SPLLIFT