XVDM - Exercise and Execute VDM Directly

@techreport{c609d8b408504b66bf59f1629c98c660,

title = "XVDM - Exercise and Execute VDM Directly",

author = "H Heping and Mander, {K C} and McDermid, {J A}",

year = "1990",

language = "English",

type = "WorkingPaper",

}

Research output: Working paper

TY - UNPB

T1 - XVDM - Exercise and Execute VDM Directly

AU - Heping, H

AU - Mander, K C

AU - McDermid, J A

PY - 1990

Y1 - 1990

M3 - Working paper

BT - XVDM - Exercise and Execute VDM Directly

ER -

Original language	English
Publication status	Published - 1990

Cite this