NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, proceedings /

Corporate Authors: NFM (Conference) Pasadena, Calif.)
Group Author: Deshmukh, Jyotirmoy; Havelund, Klaus, 1955-; Perez, Ivan (Research scientist)
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6-532/N575/2022