@inproceedings{eberl18itp,
author="Eberl, Manuel and Haslbeck, Max W. and Nipkow, Tobias",
editor="Avigad, Jeremy and Mahboubi, Assia",
title="Verified Analysis of Random Binary Tree Structures",
booktitle="Interactive Theorem Proving",
year="2018",
publisher="Springer International Publishing (ITP 2018)",
series="Lecture Notes in Computer Science",
address="Cham",
pages="196--214",
doi="10.1007/978-3-319-94821-8_12",
isbn="978-3-319-94821-8"
}