Auflistung nach Autor "Legay, Axel"
Anzeige der Dokumente 1-1 von 1
-
Counterexample guided abstraction refinement of product-line behavioural models
Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves; Dawagne, Bruno; Leucker, Martin
79-80