Skip to main content

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