{"publisher":"Springer","publist_id":"7150","day":"01","doi":"10.1007/978-3-319-54292-8","citation":{"chicago":"Bogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. Numerical Software Verification. Vol. 10152. Springer, 2017. https://doi.org/10.1007/978-3-319-54292-8.","ama":"Bogomolov S, Martel M, Prabhakar P, eds. Numerical Software Verification. Vol 10152. Springer; 2017. doi:10.1007/978-3-319-54292-8","mla":"Bogomolov, Sergiy, et al., editors. Numerical Software Verification. Vol. 10152, Springer, 2017, doi:10.1007/978-3-319-54292-8.","ieee":"S. Bogomolov, M. Martel, and P. Prabhakar, Eds., Numerical Software Verification, vol. 10152. Springer, 2017.","ista":"Bogomolov S, Martel M, Prabhakar P eds. 2017. Numerical Software Verification, Springer,p.","short":"S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.","apa":"Bogomolov, S., Martel, M., & Prabhakar, P. (Eds.). (2017). Numerical Software Verification (Vol. 10152). Springer. https://doi.org/10.1007/978-3-319-54292-8"},"date_created":"2018-12-11T11:47:38Z","volume":10152,"intvolume":" 10152","year":"2017","status":"public","date_updated":"2019-11-14T08:43:31Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Numerical Software Verification","_id":"638","department":[{"_id":"ToHe"}],"oa_version":"None","month":"01","type":"conference_editor","editor":[{"first_name":"Sergiy","orcid":"0000-0002-0686-0365","last_name":"Bogomolov","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","full_name":"Bogomolov, Sergiy"},{"first_name":"Matthieu","full_name":"Martel, Matthieu","last_name":"Martel"},{"first_name":"Pavithra","last_name":"Prabhakar","full_name":"Prabhakar, Pavithra"}],"date_published":"2017-01-01T00:00:00Z","publication_status":"published","language":[{"iso":"eng"}],"alternative_title":["LNCS"]}