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