TY  - RPRT
TI  - Checking C++ Programs for Dimensional Consistency
AU  - I. Josopait
PY  - 2005
UR  - https://arxiv.org/abs/cs/0512026
ID  - cs/0512026
ER  -