Projets par an
Projets
- 1 Terminé
Résultats de recherche
-
Terminé
SNIP: An Efficient Model Checker for Software Product Lines
Andreas Classen, Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution
286
Téléchargements
(Pure)