Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 2011 |
Projets
- 1 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)