Login / Signup

Using First-Order Logic for Product Line Model Validation.

Mike Mannion
Published in: SPLC (2002)
Keyphrases