Formal derivation of a list processing program

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

No abstract.
Original languageEnglish
Pages (from-to)124-126
Number of pages3
JournalInformation Processing Letters
Volume10
Issue number3
DOIs
Publication statusPublished - 1980

Cite this