A simple axiomatic basis for programming language constructs

E.W. Dijkstra

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Scopus)

Original language	English
Pages (from-to)	1-15
Journal	Indagationes Mathematicae (Proceedings)
Volume	77
Issue number	1
DOIs	https://doi.org/10.1016/1385-7258(74)90008-0
Publication status	Published - 1974

Access to 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",

}