Mike Mannion. Using First-Order Logic for Product Line Model Validation. In Gary J. Chastek, editor, Software Product Lines, Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002, Proceedings. Volume 2379 of Lecture Notes in Computer Science, pages 176-187, Springer, 2002. [doi]
Abstract is missing.