By the same authors

Libraries of Algebraically Specified Datatypes in Z

Research output: Working paper

Standard

Libraries of Algebraically Specified Datatypes in Z. / Hall, J G; McDermid, J A.

1994.

Research output: Working paper

Harvard

Hall, JG & McDermid, JA 1994 'Libraries of Algebraically Specified Datatypes in Z'.

APA

Hall, J. G., & McDermid, J. A. (1994). Libraries of Algebraically Specified Datatypes in Z.

Vancouver

Hall JG, McDermid JA. Libraries of Algebraically Specified Datatypes in Z. 1994.

Author

Hall, J G ; McDermid, J A. / Libraries of Algebraically Specified Datatypes in Z. 1994.

Bibtex - Download

@techreport{382f8f83bbed41d09a7c55020b5eaa3b,
title = "Libraries of Algebraically Specified Datatypes in Z",
author = "Hall, {J G} and McDermid, {J A}",
year = "1994",
language = "English",
type = "WorkingPaper",

}

RIS (suitable for import to EndNote) - Download

TY - UNPB

T1 - Libraries of Algebraically Specified Datatypes in Z

AU - Hall, J G

AU - McDermid, J A

PY - 1994

Y1 - 1994

M3 - Working paper

BT - Libraries of Algebraically Specified Datatypes in Z

ER -