Jan Midtgaard. QuickChecking Patricia Trees. In Meng Wang 0002, Scott Owens, editors, Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Volume 10788 of Lecture Notes in Computer Science, pages 59-78, Springer, 2017. [doi]
@inproceedings{Midtgaard17,
title = {QuickChecking Patricia Trees},
author = {Jan Midtgaard},
year = {2017},
doi = {10.1007/978-3-319-89719-6_4},
url = {https://doi.org/10.1007/978-3-319-89719-6_4},
researchr = {https://researchr.org/publication/Midtgaard17},
cites = {0},
citedby = {0},
pages = {59-78},
booktitle = {Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
editor = {Meng Wang 0002 and Scott Owens},
volume = {10788},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-89719-6},
}