Unabridged
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science)
Chapter 1 - Introduction
Ready to play
0:00
14h 48m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
373 MB