Formal derivation of a list processing program

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Samenvatting

No abstract.
Originele taal-2Engels
Pagina's (van-tot)124-126
Aantal pagina's3
TijdschriftInformation Processing Letters
Volume10
Nummer van het tijdschrift3
DOI's
StatusGepubliceerd - 1980

Citeer dit