[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Automated verification of interactive rule-based configuration systems
Dhungana, Deepak, Tang, Ching Hoo, Weidenbach, Christoph, Wischnewski, PatrickYear:
2013
Language:
english
DOI:
10.1109/ase.2013.6693112
File:
PDF, 497 KB
english, 2013