SPL Conqueror
From MaRDI portal
Software:40366
No author found.
Related Items (4)
Resource-usage-aware configuration in software product lines ⋮ Understanding parameters of deductive verification: an empirical investigation of KeY ⋮ Influence of noisy environments on behavior of HPC applications ⋮ Statistical model checking for variability-intensive systems: applications to bug detection and minimization
This page was built for software: SPL Conqueror
