@misc{mazzucato_2021_4737450, author = {Mazzucato, Denis and Urban, Caterina}, title = {{Reduced Products of Abstract Domains for Fairness Certification of Neural Networks}}, month = may, year = 2021, publisher = {Zenodo}, doi = {10.5281/zenodo.4737450}, url = {https://doi.org/10.5281/zenodo.4737450} }