@article{779748,
      note = {Includes author index.},
      author = {Bogomolov, Sergiy, and Martel, Matthieu, and Prabhakar,  Pavithra,},
      url = {http://library.usi.edu/record/779748},
      title = {Numerical software verification : 9th International  Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016,  Revised selected papers /. NSV (Workshop)},
      abstract = {This book constitutes the refereed proceedings of the 9th  InternationalWorkshop on Numerical Software Verification,  NSV 2016, held in Toronto, ON, Canada in July 2011 -  colocated with CAV 2016, the 28th International Conference  on Computer Aided Verification. The NSV workshop is  dedicated to the development of logical and mathematical  techniques for the reasoning about programmability and  reliability.},
      doi = {https://doi.org/10.1007/978-3-319-54292-8},
      recid = {779748},
      pages = {1 online resource (vii, 107 pages) :},
}