Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool.

John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum

Browse the full ISSTA paper archive.