@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/}
}