3rd Refinement Workshop
Subtitle: proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park, and the Programming Research Group, University of Oxford) 9-11January 1990, Hursley Park
By: Carroll Morgan and J.C.P. Woodcock, eds..
Contributors: Morgan, Carroll.; Woodcock, J. C. P. 1956-; British Computer Society. Specialist Group in Formal Aspects of Computing Science.; IBM UK Laboratories.; Oxford University Computing Laboratory. Programming Research Group.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1991
Place of publication: London; New York
Language: eng
Number of pages: 197
Subjects: Electronic digital computers -- Programming -- Congresses.
Other titles: Third Refinement Workshop.
Notes: "Published in collaboration with the British Computer Society."

Includes bibliographical references and index.