The formal development of secure systems

Bibliographic Details
Main Author:	Graham, -Cumming
Published:	University of Oxford 1992
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315747

id	ndltd-bl.uk-oai-ethos.bl.uk-315747
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3157472015-03-19T10:57:56ZThe formal development of secure systemsGraham, -Cumming1992005Computer software & programmingUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315747Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Graham, -Cumming The formal development of secure systems
author	Graham, -Cumming
author_facet	Graham, -Cumming
author_sort	Graham, -Cumming
title	The formal development of secure systems
title_short	The formal development of secure systems
title_full	The formal development of secure systems
title_fullStr	The formal development of secure systems
title_full_unstemmed	The formal development of secure systems
title_sort	formal development of secure systems
publisher	University of Oxford
publishDate	1992
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315747
work_keys_str_mv	AT grahamcumming theformaldevelopmentofsecuresystems AT grahamcumming formaldevelopmentofsecuresystems
_version_	1716778070851977216

Similar Items