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

212 Téléchargements (Pure)

1 résultats

Terminé
Evolution: PReCISE Evolution
Cleve, A.
1/01/10 → 31/01/10
Projet: Axe de recherche