Using First-Order Logic for Product Line Model Validation.

Mike Mannion

Browse the full SPLC paper archive.