Immediate Impact

1 hit

Citing Papers

A Classification and Survey of Analysis Strategies for Software Product Lines
2014 Hit

Works of Einar Broch Johnsen being referenced

A transformational proof system for delta-oriented programming
2012
Rankless by CCL
2026