![](/img/cover-not-exists.png)
[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Type-Checking Software Product Lines - A Formal Approach
Kastner, Christian, Apel, SvenYear:
2008
Language:
english
DOI:
10.1109/ase.2008.36
File:
PDF, 163 KB
english, 2008