Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings
著者
書誌事項
Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings
（Lecture notes in computer science, 12864 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）
Springer, c2021
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
"This volume contains the proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held online from Leiden, the Netherlands, on July 12, 2021, ..."--Pref