Program specification and data refinement in type theory. / Luo, Z.

Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493. 1991.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Program specification and data refinement in type theory. / Luo, Z.

Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493. 1991.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Luo, Z 1991, Program specification and data refinement in type theory. in Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493.

APA

Luo, Z. (1991). Program specification and data refinement in type theory. In Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493

Vancouver

Luo Z. Program specification and data refinement in type theory. In Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493. 1991

Author

Luo, Z. / Program specification and data refinement in type theory. Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493. 1991.

BibTeX

@inproceedings{e0b34efaaf42437db1ba9f4655f13664,
title = "Program specification and data refinement in type theory",
author = "Z. Luo",
note = "Also as LFCS report ECS-LFCS-91-131, Dept. of Computer Science, Edinburgh University",
year = "1991",
language = "English",
booktitle = "Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493",

}

RIS

TY - GEN

T1 - Program specification and data refinement in type theory

AU - Luo, Z.

N1 - Also as LFCS report ECS-LFCS-91-131, Dept. of Computer Science, Edinburgh University

PY - 1991

Y1 - 1991

M3 - Conference contribution

BT - Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493

ER -