TY  - JOUR
AU  - Bence Babati
AU  - Norbert Pataki
TI  - A static analysis method for safe comparison functors in C++
JO  - Annales mathematicae et informaticae
PY  - 2020
SP  - 5
EP  - 18
VL  - 52
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/
DO  - 10.33039/ami.2020.12.003
LA  - en
ID  - AMI_2020_52_a0
ER  -