By the same authors

XVDM - Exercise and Execute VDM Directly

Research output: Working paper

Standard

XVDM - Exercise and Execute VDM Directly. / Heping, H; Mander, K C; McDermid, J A.

1990.

Research output: Working paper

Harvard

Heping, H, Mander, KC & McDermid, JA 1990 'XVDM - Exercise and Execute VDM Directly'.

APA

Heping, H., Mander, K. C., & McDermid, J. A. (1990). XVDM - Exercise and Execute VDM Directly.

Vancouver

Heping H, Mander KC, McDermid JA. XVDM - Exercise and Execute VDM Directly. 1990.

Author

Heping, H ; Mander, K C ; McDermid, J A. / XVDM - Exercise and Execute VDM Directly. 1990.

Bibtex - Download

@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",

}

RIS (suitable for import to EndNote) - Download

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 -