A pragmatic approach to the formal development of safety-critical systems

A pragmatic approach to the formal development of safety-critical systems

Bibliographic Details
Main Author: Coombes, Andrew Charles
Published: University of York 1994
Subjects:
005
Software engineering
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259882

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259882

Similar Items