Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings Zamani, Majid Heftet / 2019 / Engelsk
