4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge (Workshops in Computing)

Refinement

by: England) Refinement Workshop 1991 (Cambridge · Joseph M. Morris · British Computer Society Specialist Group in Formal Aspects of computi

Paperback

ISBN: 978-0-387-19657-2

ISBN-10: 0-387-19657-9

Springer Verlag · 1991