Formal Methods for Model-Driven Engineering

Overview

Editors:

• Marco Bernardo⁰,
• Vittorio Cortellessa¹,
• Alfonso Pierantonio²

1. Marco Bernardo

   1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", Urbino, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Vittorio Cortellessa

   1. Dipartimento di Informatica, Università dell’Aquila, Coppito - L’Aquila, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. Alfonso Pierantonio

   1. Dipartimento di Informatica, Università dell’Aquila, Coppito - L’Aquila, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar