Writings of the Revolution: Selected Readings on Software Engineering

Authors:
Edward Yourdon
Affiliations:
-
Venue:
Writings of the Revolution: Selected Readings on Software Engineering
Year:
1986

Citing 0
Cited 2

A Functional Correctness Model of Program Verification

Computer
To use or not to use the goto statement: programming styles viewed from Hoare logic

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract