Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings - Zamani, Majid; Zamani, Majid; Zufferey, Damien; Zufferey, Damien (Springer International Publishing : Imprint: Springer, 2019)