6th Refinement Workshop
Subtitle: proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
By: David Till (ed.).
Contributors: Till, David.; British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 305
Subjects: Computer software -- Development -- Congresses.
Other titles: Sixth Refinement Workshop.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."