By the same authors

The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

Research output: Book/ReportBook

Standard

The Theory and Practice of Refinement : Approaches to the Formal Development of Large-Scale Software Systems. / McDermid, J A.

Butterworth Scientific, 1989.

Research output: Book/ReportBook

Harvard

McDermid, JA 1989, The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. Butterworth Scientific.

APA

McDermid, J. A. (1989). The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. Butterworth Scientific.

Vancouver

McDermid JA. The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. Butterworth Scientific, 1989.

Author

McDermid, J A. / The Theory and Practice of Refinement : Approaches to the Formal Development of Large-Scale Software Systems. Butterworth Scientific, 1989.

Bibtex - Download

@book{649daadfcb5e4142bd3a33cf848f330c,
title = "The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems",
author = "McDermid, {J A}",
year = "1989",
language = "English",
publisher = "Butterworth Scientific",

}

RIS (suitable for import to EndNote) - Download

TY - BOOK

T1 - The Theory and Practice of Refinement

T2 - Approaches to the Formal Development of Large-Scale Software Systems

AU - McDermid, J A

PY - 1989

Y1 - 1989

M3 - Book

BT - The Theory and Practice of Refinement

PB - Butterworth Scientific

ER -