Program specification and data refinement in type theory

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493
Publication status	Published - 1991

Cite this

@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",

}