Результати пошуку - Wolff, Sebastian

  • Показ 1 - 2 результатів із 2
Уточнити результати
  1. 1

    Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /

    Опубліковано 2024
    Отримати повний текст
    Remote access required. Check library.juniv.edu
    Електронний ресурс eКнига
    Source: Springer Nature
  2. 2

    Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /

    Опубліковано 2024
    Отримати повний текст
    Remote access required. Check library.juniv.edu
    Електронний ресурс eКнига
    Source: Springer Nature