Search Results - International Conference on Integrated Formal Methods

  • Results 1 – 8 of 8
Refine Results
  1. 1
    Cover Image

    Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings

    Published 2018
    “…International Conference on Integrated Formal Methods…”
    Fulltext
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Cover Image

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

    Published 2024
    “…International Conference on integrated Formal Methods Leiden…”
    Fulltext
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Cover Image

    Integrated formal methods: 19th international conference, IFM 2024, Manchester, UK, November 13-15, 2024, proceedings

    Published 2025
    “…International Conference on Integrated Formal Methods Manchester…”
    Fulltext
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Cover Image

    Integrated formal methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Published 2017
    “…International Conference on Integrated Formal Methods Turin…”
    Fulltext
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Cover Image

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

    Published 2023
    “…International Conference on integrated Formal Methods Leiden…”
    Request via interlibrary loan
    Conference Proceeding Book


    Saved in:
  6. 6
    Cover Image

    Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Published 2017
    “…International Conference on Integrated Formal Methods Turin…”
    Request via interlibrary loan
    Conference Proceeding Book


    Saved in:
  7. 7
    Cover Image

    Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings

    Published 2018
    “…International Conference on integrated Formal Methods Maynooth…”
    Request via interlibrary loan
    Conference Proceeding Book


    Saved in:
  8. 8
    Cover Image

    Integrated formal methods: 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings

    Published 2010
    “…International Conference on Integrated Formal Methods < 2010, Nancy, France>…”
    Electronic eBook


    Saved in:

Search Tools: