Skip to main content

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

C. A. R. Hoare

Book Title
FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume I
Editor
Jeannette M. Wing and Jim Woodcock and Jim Davies
Pages
1−27
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1708
Year
1999