Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022

著者

    • RV (Conference)
    • Dang, Thao
    • Stolz, V. (Volker)

書誌事項

Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022

Thao Dang, Volker Stolz (eds.)

(Lecture notes in computer science, 13498 . Formal methods)

Springer, c2022

  • : pbk

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and author index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ