![](/img/cover-not-exists.png)
Formal verification and software product lines
Kishi, Tomoji, Noda, NatsukoVolume:
49
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/1183236.1183270
Date:
December, 2006
File:
PDF, 288 KB
english, 2006