5th Refinement Workshop
Subtitle: proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
By: Cliff B. Jones, Roger C. Shaw and Tim Devir (eds.).
Contributors: Denvir, Tim.; Shaw, Roger C., 1945-; Jones, Cliff B. 1944-; British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Series: Workshops in computing
Publisher: Springer, in collaboration with the British Computer Society
Published: 1992
Place of publication: London
Language: eng
Number of pages: 378
Other titles: Fifth refinement workshop.
Notes: Includes bibliographical references and index.