%0 Journal Article
%A Gábor Horváth
%A Norbert Pataki
%T Clang matchers for verified usage of the C++ Standard Template Library
%J Annales mathematicae et informaticae
%D 2015
%P 99-109
%V 44
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/
%G en
%F AMI_2015_44_a8