Data Refinement Refined: Resume
J. He‚ C.A.R. Hoare and J.W. Sanders
Book Title
ESOP '86
Editor
B. Robinet and R. Wilhelm
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
213
Year
1986
J. He‚ C.A.R. Hoare and J.W. Sanders