@software{xiang_2020_4061106, author = {Xiang, Tongtong and Luo, Jeff Yucong and Dietl, Werner}, title = {{PUnits - Precise Inference of Expressive Units-of- Measurement Types}}, month = oct, year = 2020, publisher = {Zenodo}, version = {v1.0}, doi = {10.5281/zenodo.4061106}, url = {https://doi.org/10.5281/zenodo.4061106} }