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