%0 Journal Article
%A Bence Babati
%A Norbert Pataki
%T A static analysis method for safe comparison functors in C++
%J Annales mathematicae et informaticae
%D 2020
%P 5-18
%V 52
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/
%R 10.33039/ami.2020.12.003
%G en
%F AMI_2020_52_a0