NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

著者

    • NFM (Symposium)
    • Dutle, Aaron
    • Moscato, Mariano M.
    • Titolo, Laura
    • Muñoz, César A.
    • Perez, Ivan

書誌事項

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

Aaron Dutle ... [et al.] (eds.)

(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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ