Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
C. A. R. Hoare
Book Title
Correct System Design‚ Recent Insight and Advances‚ (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Editor
Ernst−Rüdiger Olderog and Bernhard Steffen
Pages
3−28
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1710
Year
1999