Coleman, Joey W., Department of Engineering, Aarhus University, Denmark

• Technical Report Electronics and Computer Engineering Vol. 2 No. 13 (2013): Semantics of the VDM Real-Time Dialect - Reports
  Semantics of the VDM Real-Time Dialect
  Abstract  PDF