Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dijkstra, E.W. (1976). Formal techniques and sizeable programs. In: Samelson, K. (eds) ECI Conference 1976. ECI 1976. Lecture Notes in Computer Science, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07804-5_31
Download citation
DOI: https://doi.org/10.1007/3-540-07804-5_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07804-3
Online ISBN: 978-3-540-38215-7
eBook Packages: Springer Book Archive