Search Results - Kosmatov, Nikolai

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    Cover Image

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

    Published 2025
    Other Authors: “…Kosmatov, Nikolai…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

    Published 2024
    Other Authors: “…Kosmatov, Nikolai…”
    Read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    Testing software and systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, proceedings

    Published 2019
    Other Authors: “…Kosmatov, Nikolai…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: