Suchergebnisse - Kosmatov, Nikolai

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Kosmatov, Nikolai …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kosmatov, Nikolai …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Kosmatov, Nikolai …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: