TY  - JOUR
AU  - Gábor Horváth
AU  - Norbert Pataki
TI  - Clang matchers for verified usage of the C++ Standard Template Library
JO  - Annales mathematicae et informaticae
PY  - 2015
SP  - 99
EP  - 109
VL  - 44
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/
LA  - en
ID  - AMI_2015_44_a8
ER  -