4th Refinement Workshop, Cambridge, 1991
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.; Shaw, Roger C.; 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
Subjects: Computer software -- Development -- Congresses.; Computers -- Congresses.
Other titles: Fourth Refinement Workshop, Cambridge, 1991.
Notes: "Published in collaboration with the British Computer Society."

Includes index.