Projets par an
Projets
- 1 Terminé
Simulation-Based Abstractions for Software Product-Line Model Checking
Maxime Cordy, Andreas Classen, Gilles Perrouin, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution
94
Téléchargements
(Pure)