Cite
APA Citation
Zamani, M., & Zufferey, D. (Eds.) (2019). Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100086091499.0x000001