On the Refinement Calculus
By: edited by Carroll Morgan, Trevor Vickers
Contributors: Vickers, Trevor
Series: Formal Approaches to Computing and Information Technology (FACIT); Formal Approaches to Computing and Information Technology (FACIT)
Publisher: Springer London
Published: 1994
Place of publication: London
Language: eng
Format: [electronic resource] /
Number of pages: 159
ISBN-13: 9781447132738