Formal Methods. FM 2019 International Workshops

Overview

Editors:

• Emil Sekerinski ORCID: https://orcid.org/0000-0001-9788-5842⁰,
• Nelma Moreira ORCID: https://orcid.org/0000-0003-0861-0105¹,
• José N. Oliveira ORCID: https://orcid.org/0000-0002-0196-4229²,
• Daniel Ratiu³,
• Riccardo Guidotti⁴,
• Marie Farrell⁵,
• Matt Luckcuck⁶,
• Diego Marmsoler⁷,
• José Campos⁸,
• Troy Astarte⁹,
• Laure Gonnord¹⁰,
• Antonio Cerone ORCID: https://orcid.org/0000-0003-2691-5279¹¹,
• Luis Couto¹²,
• Brijesh Dongol¹³,
• Martin Kutrib¹⁴,
• Pedro Monteiro¹⁵,
• …
• David Delmas¹⁶

Show editors

1. Emil Sekerinski

   1. McMaster University, Hamilton, Canada
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Nelma Moreira

   1. University of Porto, Porto, Portugal
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. José N. Oliveira

   1. University of Minho, Braga, Portugal
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

4. Daniel Ratiu

   1. Argo Ai, Munich, Germany
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

5. Riccardo Guidotti

   1. University of Pisa, Pisa, Italy
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

6. Marie Farrell

   1. University of Liverpool, Liverpool, UK
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

7. Matt Luckcuck

   1. University of Liverpool, Liverpool, UK
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

8. Diego Marmsoler

   1. University of Exeter, Exeter, UK
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

9. José Campos

   1. University of Minho, Braga, Portugal
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

10. Troy Astarte

    1. University of Newcastle, Newcastle upon Tyne, UK
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

11. Laure Gonnord

    1. Claude Bernard University, Lyon, France
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

12. Antonio Cerone

    1. Nazarbayev University, Nur-Sultan, Kazakhstan
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

13. Luis Couto

    1. University of Surrey, Guildford, UK
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

14. Brijesh Dongol

    1. University of Surrey, Guildford, UK
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

15. Martin Kutrib

    1. University of Giessen, Giessen, Germany
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

16. Pedro Monteiro

    1. University of Lisbon, Lisbon, Portugal
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

17. David Delmas

    1. Airbus Operations S.A.S., Toulouse, France
       

    View editor publications

    You can also search for this editor in PubMed   Google Scholar