A simple axiomatic basis for programming language constructs

E.W. Dijkstra

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

2 Citaten (Scopus)

Originele taal-2	Engels
Pagina's (van-tot)	1-15
Tijdschrift	Indagationes Mathematicae (Proceedings)
Volume	77
Nummer van het tijdschrift	1
DOI's	https://doi.org/10.1016/1385-7258(74)90008-0
Status	Gepubliceerd - 1974

Toegang tot document

@article{84a16596dbbf44199560915c6a201795,

title = "A simple axiomatic basis for programming language constructs",

author = "E.W. Dijkstra",

year = "1974",

doi = "10.1016/1385-7258(74)90008-0",

language = "English",

volume = "77",

pages = "1--15",

journal = "Indagationes Mathematicae (Proceedings)",

issn = "1385-7258",

number = "1",

}