Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Overview

Editors:

• Antonio Cerone ORCID: https://orcid.org/0000-0003-2691-5279⁰,
• Marco Autili ORCID: https://orcid.org/0000-0001-5951-1567¹,
• Alessio Bucaioni ORCID: https://orcid.org/0000-0002-8027-0611²,
• Cláudio Gomes ORCID: https://orcid.org/0000-0003-2692-9742³,
• Pierluigi Graziani ORCID: https://orcid.org/0000-0002-8828-8920⁴,
• Maurizio Palmieri ORCID: https://orcid.org/0000-0002-6177-0928⁵,
• Marco Temperini ORCID: https://orcid.org/0000-0002-8597-4634⁶,
• …
• Gentiane Venture ORCID: https://orcid.org/0000-0001-7767-4765⁷

Show editors

1. Antonio Cerone

   1. Nazarbayev University, Nur-Sultan, Kazakhstan
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Marco Autili

   1. University of L'Aquila, L'Aquila, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. Alessio Bucaioni

   1. Mälardalen University, Västerås, Sweden
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

4. Cláudio Gomes

   1. Aarhus University, Aarhus, Denmark
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

5. Pierluigi Graziani

   1. University of Urbino, Urbino, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

6. Maurizio Palmieri

   1. University of Pisa, Pisa, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

7. Marco Temperini

   1. Sapienza University of Rome, Rome, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

8. Gentiane Venture

   1. Tokyo University of Agriculture and Technology, Tokyo, Japan
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar