Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022
著者
書誌事項
Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022
(Lecture notes in computer science, 13498 . Formal methods)
Springer, c2022
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index