By the same authors

An Iterator Construct for the Refinement Calculus

Research output: Contribution to conferencePaper

Standard

An Iterator Construct for the Refinement Calculus. / King, Steve; Morgan, Carroll.

2000.

Research output: Contribution to conferencePaper

Harvard

King, S & Morgan, C 2000, 'An Iterator Construct for the Refinement Calculus'.

APA

King, S., & Morgan, C. (2000). An Iterator Construct for the Refinement Calculus.

Vancouver

King S, Morgan C. An Iterator Construct for the Refinement Calculus. 2000.

Author

King, Steve ; Morgan, Carroll. / An Iterator Construct for the Refinement Calculus.

Bibtex - Download

@conference{3be4a73dd9564227bd41cd2f94f4aa84,
title = "An Iterator Construct for the Refinement Calculus",
author = "Steve King and Carroll Morgan",
year = "2000",
language = "Undefined/Unknown",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - An Iterator Construct for the Refinement Calculus

AU - King, Steve

AU - Morgan, Carroll

PY - 2000

Y1 - 2000

M3 - Paper

ER -