ProVeLines: A Product Line of Verifiers for Software Product Lines

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'ProVeLines: A Product Line of Verifiers for Software Product Lines'. Together they form a unique fingerprint.

Computer Science

INIS

Keyphrases