Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: NFM (Conference) Pasadena, Calif.)
Group Author: Deshmukh, Jyotirmoy; Havelund, Klaus, 1955-; Perez, Ivan (Research scientist)
Published: Springer,
Publisher Address: Cham, Switzerland :
Publication Dates: [2022]
Literature type: Book
Language: English
Series: Lecture notes in computer science, Formal methods 13260.
Subjects:
Formal methods (Computer science) > Congresses.
Formal methods (Computer science)
Item Description: Selected conference papers.
Carrier Form: xxii, 828 pages : illustrations ; 24 cm.
Bibliography: Includes bibliographical references and author index.
ISBN: 9783031067723
303106772X
CLC: TP301.6-532
Call Number: TP301.6-532/N575/2022

Related Book Recommendations