Click here to load reader
Upload
andras-kovacs
View
39
Download
10
Embed Size (px)
DESCRIPTION
Classic computer science paper introducing the Floyd's method of program verification.
Citation preview