Software Product Lines Verification

Heymans, Patrick (PI)
Schobbens, Pierre Yves (PI)
Classen, Andreas (Researcher)
CORDY, MAXIME (Researcher)
KANG, Eun-Young (Researcher)
Legay, Axel (Researcher)

Project: Research

2 Article
1 Chapter
1 Paper

1 results

Filter

Paper
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.
Research output: Contribution to conference › Paper › peer-review