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

In: Mathematical Structures in Computer Science, Vol. 3, No. 3, 1993.

Research output: Contribution to journalArticle

Published

Documents

Original languageEnglish
JournalMathematical Structures in Computer Science
Volume3
Issue number3
DOIs
Publication statusPublished - 1993
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 1298183