Yu Mei Liu

Model checking software product lines based on feature slicing

2019 · International Journal of Computational Science and Engineering

Inderscience is a global company, a dynamic leading independent journal publisher disseminates the latest research across the broad fields of science, engineering and technology; management, public and business administration; environment, ecological economics and sustainable development; …