"Guiding user annotations for units-of-measure verification."

Dominic Orchard et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics