Top-down and step-wise refinement of protocol specifications

Bibliographic Details
Main Author:	Li, Da-Hai
Published:	Imperial College London 1987
Subjects:	004
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717165

Similar Items