By the same authors

The Formal Analysis of Ada Programs

Research output: Contribution to conference › Paper › peer-review

Standard

The Formal Analysis of Ada Programs. / Hutcheon, A D; Jordan, D T; McDermid, J A; Wand, I C.

1993.

Research output: Contribution to conference › Paper › peer-review

Harvard

Hutcheon, AD, Jordan, DT, McDermid, JA & Wand, IC 1993, 'The Formal Analysis of Ada Programs'.

APA

Hutcheon, A. D., Jordan, D. T., McDermid, J. A., & Wand, I. C. (1993). The Formal Analysis of Ada Programs.

Vancouver

Hutcheon AD, Jordan DT, McDermid JA, Wand IC. The Formal Analysis of Ada Programs. 1993.

Author

Hutcheon, A D ; Jordan, D T ; McDermid, J A ; Wand, I C. / The Formal Analysis of Ada Programs.

Bibtex - Download

@conference{de03d4a61e9d4fb5a9982a14ffce84a5,
title = "The Formal Analysis of Ada Programs",
author = "Hutcheon, {A D} and Jordan, {D T} and McDermid, {J A} and Wand, {I C}",
year = "1993",
language = "English",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - The Formal Analysis of Ada Programs

AU - Hutcheon, A D

AU - Jordan, D T

AU - McDermid, J A

AU - Wand, I C

PY - 1993

Y1 - 1993

M3 - Paper

ER -

York staff: edit these data