The formal treatment of some small examples

Access full-text files

EWD413.pdf (2.36 MB)
E.W.Dijkstra Archive_ The formal treatment of some small examples (EWD 413).pdf (529.2 KB)

Date

0000-00-00

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

circulated privately

Keywords

EWD index number 413, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126403
 https://doi.org/10.26153/tsw/52940

Collections

EWD Index Manuscripts