Raúl Mazo

A Generic Approach for Automated Verification of Product Line Models.
. Pantheon-Sorbonne University, Paris, France, (2011)
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Raúl Mazo
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden