NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

Corporate Authors: NFM (Symposium) Online)
Group Author: Dutle, Aaron Michael (Editor); Moscato, Mariano M. (Editor); Titolo, Laura (Editor); Muñoz, César A., 1968- (Editor); Perez, Ivan (Research scientist) (Editor)
Published: Springer,
Publication Dates: [2021]
Call Number: TP301.6-532/N575/2021