6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
Refinement Workshop(6th :1994 :London, England)
Till, David.
British Computer Society.Specialist Group in Formal Aspects of Computing Science.
London ; New York : Springer-Verlag,
1994.
"Published in collaboration with the British Computer Society."
Includes bibliographical references.
Computer software