Unabridged
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings (Lecture Notes in Computer Science Book 14627)
Chapter 1 - Introduction
Ready to play
0:00
6h 20m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
430 MB