1 option
NASA Formal Methods : 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Deshmukh, Jyotirmoy.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16622
- Language:
- English
- Physical Description:
- 1 online resource (926 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032280794
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.