Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 2012 |
Projets
- 1 Terminé
Model Checking for Software Product Lines with SNIP
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Résultats de recherche: Autre contribution
190
Téléchargements
(Pure)