A simple axiomatic basis for programming language constructs

E.W. Dijkstra

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
Originele taal-2Engels
Pagina's (van-tot)1-15
TijdschriftIndagationes Mathematicae (Proceedings)
Volume77
Nummer van het tijdschrift1
DOI's
StatusGepubliceerd - 1974

Citeer dit