@inproceedings{DMTM17,
	Author = {Aaron Dutle and Mariano Moscato and Laura Titolo and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)},
	Month = {July},
	Title = {A Formal Analysis of the {C}ompact {P}osition {R}eporting Algorithm},
        Address = {Heidelberg, Germany},
        series = "Lecture Notes in Computer Science",        
        editor = "Andrei Paskevich and Thomas Wies",
        volume = "10712",
        pages = "19--34",
        year = "2017",
        publisher = "Springer",
}