5th Refinement Workshop
Subtitle: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 (Workshops in Computing)
Contributors: Tim Denvir (Editor)
Publisher: Springer
Published: July 1992
Language: eng
Number of pages: 386
ISBN-13: 9780387197524