Numerical Software Verification
Subtitle: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Publisher: Springer
Published: Aug 03, 2019
Format: paperback
Number of pages: 160
ISBN-13: 9783030284220
Notes: Source title: Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings (Lecture Notes in Computer Science (11652))