![](/img/cover-not-exists.png)
[IEEE 2012 African Conference on Software Engineering & Applied Computing (ACSEAC) - Gaborone, Botswana (2012.09.24-2012.09.26)] 2012 African Conference for Sofware Engineering and Applied Computing - Logic Verification of Product-Line Variant Requirements
Ripon, Shamim, Hossain, Sk. Jahir, Azad, Keya, Hassan, MehideeYear:
2012
Language:
english
DOI:
10.1109/acseac.2012.14
File:
PDF, 283 KB
english, 2012