Geodesic
Clang matchers for verified usage of the C++ Standard Template Library
Annales mathematicae et informaticae, Tome 44 (2015), pp. 99-109.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2015_44_a8,
     author = {G\'abor Horv\'ath and Norbert Pataki},
     title = {Clang matchers for verified usage of the {C++} {Standard} {Template} {Library}},
     journal = {Annales mathematicae et informaticae},
     pages = {99--109},
     publisher = {mathdoc},
     volume = {44},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/}
}
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  - 
%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
Gábor Horváth; Norbert Pataki. Clang matchers for verified usage of the C++ Standard Template Library. Annales mathematicae et informaticae, Tome 44 (2015), pp. 99-109. http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/