4th Refinement Workshop
Subtitle: proceedings of the 4th Refinement Workshop
By: organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, eds.
Contributors: Morris, Joseph M., 1951-; Shaw, Roger C. F.; British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1991
Place of publication: London; New York
Language: eng
Number of pages: 478
Subjects: Computer software -- Development -- Congresses.; Computers -- Congresses.
Other titles: Fourth Refinement Workshop.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."