Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings
著者
書誌事項
Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings
(Lecture notes in computer science, 10747 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)
Springer, c2018
- タイトル別名
-
ARCoSS
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index