Formal verification of static software models in MDE: A systematic review

• Carlos A. González ^[1] ; Jordi Cabot ^[1]
  1. [1] École des Mines de Nantes, Francia
• Localización: Information and software technology, ISSN 0950-5849, Vol. 56, Nº 8, 2014, págs. 821-838
• Idioma: inglés
• Enlaces
  • Texto completo