Cited By
View all- Hills MChen FRoşU G(2019)A Rewriting Logic Approach to Static Checking of Units of Measurement in CElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2012.11.011290(51-67)Online publication date: 5-Jan-2019
- Cooper JMcKeever S(2008)A model-driven approach to automatic conversion of physical unitsSoftware: Practice and Experience10.1002/spe.82838:4(337-359)Online publication date: 2008
- Albalooshi FLong F(1999)Multiple view environment supporting VDM and AdaIEE Proceedings - Software10.1049/ip-sen:19990487146:4(203)Online publication date: 1999
- Show More Cited By