Program specification and data refinement in type theory

Research output: Contribution to journalArticlepeer-review

100 Downloads (Pure)
Original languageEnglish
JournalMathematical Structures in Computer Science
Volume3
Issue number3
DOIs
Publication statusPublished - 1993

Cite this