Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

84 Downloads (Pure)

Search results