6th Refinement Workshop
Subtitle: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 (Workshops in Computing)
Publisher: Springer
Published: January 1994
Language: eng
Number of pages: 307
ISBN-13: 9780387198866