Unabridged
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering)
Chapter 1 - Introduction
Ready to play
0:00
11h 27m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
445 MB