SPLLIFT

swMATH16431MaRDI QIDQ28301FDOQ28301

Author name not available (Why is that?)

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