Projets par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 2012 |
Projets
- 1 Terminé
-
Evolution: PReCISE Evolution
Cleve, A. (Responsable du Projet)
1/01/10 → 31/01/10
Projet: Axe de recherche
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
261
Téléchargements
(Pure)