@article{AMI_2020_52_a0,
     author = {Bence Babati and Norbert Pataki},
     title = {A static analysis method for safe comparison functors in {C++}},
     journal = {Annales mathematicae et informaticae},
     pages = {5--18},
     publisher = {mathdoc},
     volume = {52},
     year = {2020},
     doi = {10.33039/ami.2020.12.003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/}
}