SpringerLink (Online service), Bogomolov, S., Martel, M., & Prabhakar, P. (2017). Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (1st ed. 2017.). Cham: Springer International Publishing : Imprint: Springer.
Citación estilo ChicagoSpringerLink (Online service), Sergiy Bogomolov, Matthieu Martel, y Pavithra Prabhakar. Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. 1st ed. 2017. Cham: Springer International Publishing : Imprint: Springer, 2017.
Cita MLASpringerLink (Online service), Sergiy Bogomolov, Matthieu Martel, y Pavithra Prabhakar. Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. 1st ed. 2017. Cham: Springer International Publishing : Imprint: Springer, 2017.