Cited By
View all- Gibson JMéry D(2018)Explicit Modelling of Physical Measures: From Event-B to JavaElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.271.5271(64-79)Online publication date: 12-May-2018
- Wilkinson HPrieto MRomeo L(2018)A point based model of the Gregorian CalendarComputer Languages, Systems and Structures10.1016/j.cl.2005.10.00132:2-3(157-183)Online publication date: 20-Dec-2018
- Cooper JMcKeever S(2007)A model‐driven approach to automatic conversion of physical unitsSoftware: Practice and Experience10.1002/spe.82838:4(337-359)Online publication date: 31-May-2007