Unabridged
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science Book 11460)
Chapter 1 - Introduction
Ready to play
0:00
9h 20m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
212 MB