Formal Methods: Foundations and Applications

Overview

Editors:

• Jim Davies⁰,
• Leila Silva¹,
• Adenilso Simao ORCID: https://orcid.org/0000-0002-1454-2607²

1. Jim Davies

   1. Department of Computer Science, Oxford University, Oxford, UK
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Leila Silva

   1. Departamento de Ciência da Computação e Estatística, Universidade Federal de Sergipe, Aracaju, Brazil
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. Adenilso Simao

   1. Avenida Frabalhador, são-carlense, São Carlos, Brazil
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar