A constructive approach to the problem of program correctness

Access full-text files

EWD209A.pdf (451.97 KB)
E.W. Dijkjstra Archive_ A Constructive Approach to the Problem of Program Correctness (EWD209a).pdf (219.85 KB)

Date

1968-02

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

published as cite EWD:EWD209Apub

Keywords

EWD index number 209A, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126613
 https://doi.org/10.26153/tsw/53150

Collections

EWD Index Manuscripts