NASA formal methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings
著者
書誌事項
NASA formal methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings
（Lecture notes in computer science, 15682）
Springer, [2025] , , c2025
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references and index
