Showing 1 - 4 results of 4 for search 'ISoLA (Symposium) Online)', query time: 0.02s Narrow Search
  1. 1
    Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part II
    Published 2020
    “…ISoLA (Symposium) Online)…”
    Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part IV
    Published 2021
    “…ISoLA (Symposium) Online)…”
    Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III
    Published 2020
    “…ISoLA (Symposium) Online)…”
    Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part I
    Published 2020
    “…ISoLA (Symposium) Online)…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: