NASA Formal Methods
Subtitle: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031606977