Originele taal-2 | Engels |
---|---|
Pagina's (van-tot) | 1-15 |
Tijdschrift | Indagationes Mathematicae (Proceedings) |
Volume | 77 |
Nummer van het tijdschrift | 1 |
DOI's | |
Status | Gepubliceerd - 1974 |
A simple axiomatic basis for programming language constructs
E.W. Dijkstra
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
2
Citaten
(Scopus)