@inproceedings{Izycheva_2017,
    doi = {10.23919/fmcad.2017.8102236},
    url = {https://doi.org/10.23919%2Ffmcad.2017.8102236},
    year = {2017},
    month = {oct},
    publisher = {{IEEE}},
    author = {Anastasiia Izycheva and Eva Darulova},
    title = {On sound relative error bounds for floating-point arithmetic},
    booktitle = {2017 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Izycheva_2017, doi = {10.23919/fmcad.2017.8102236}, url = {https://doi.org/10.23919%2Ffmcad.2017.8102236}, year = {2017}, month = {oct}, publisher = {{IEEE}}, author = {Anastasiia Izycheva and Eva Darulova}, title = {On sound relative error bounds for floating-point arithmetic}, booktitle = {2017 Formal Methods in Computer Aided Design ({FMCAD})} }