NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
著者
書誌事項
NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
(Lecture notes in computer science, 12673 . Formal methods . LNCS sublibrary ; SL2 . Programming and software engineering)
Springer, c2021
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Other editors: Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Includes bibliographical references and index