swMATH28652MaRDI QIDQ40366FDOQ40366
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2385173
Cited In (7)
- COSTABS
- 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
- SACO
- AlgoWiki
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
This page was built for software: SPL Conqueror
