From Z to C : illustration of a rigorous development method

Bibliographic Details
Main Author: Neilson, D. S.
Published: University of Oxford 1989
Subjects:
005
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257948
Description
Description not available.