A more formal treatment of a less simple example

Access full-text files

EWD550.pdf (432.53 KB)
E.W. Dijkstra Archive_ A more formal treatment of a less simple example (EWD 550).pdf (794.3 KB)

Date

1976-03

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 550, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126523
 https://doi.org/10.26153/tsw/53060

Collections

EWD Index Manuscripts