@inproceedings{PTF-FM15, author = {Nadia Polikarpova and Julian Tschannen and Carlo A. Furia}, title = {A Fully Verified Container Library}, booktitle={FM 2015: Formal Methods}, publisher = {Springer}, series={Lecture Notes in Computer Science}, year = {2015}, }