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. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Sergiy Bogomolov, Matthieu Martel, και Pavithra Prabhakar. Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Cham: Springer International Publishing : Imprint: Springer, 2017.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Springer International Publishing : Imprint: Springer, 2017.