Babati, Bence, Pataki, Norbert (2020) A static analysis method for safe comparison functors in C++ Annales Mathematicae et Informaticae. 52. pp. 5-18. ISSN 1787-6117 (Online)