Software tools to support formal methods

Bibliographic Details
Main Author:	McParland, Patrick J.
Published:	Queen's University Belfast 1989
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757

id	ndltd-bl.uk-oai-ethos.bl.uk-292757
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2927572015-03-19T05:46:04ZSoftware tools to support formal methodsMcParland, Patrick J.1989005Computer software & programmingQueen's University Belfasthttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming McParland, Patrick J. Software tools to support formal methods
author	McParland, Patrick J.
author_facet	McParland, Patrick J.
author_sort	McParland, Patrick J.
title	Software tools to support formal methods
title_short	Software tools to support formal methods
title_full	Software tools to support formal methods
title_fullStr	Software tools to support formal methods
title_full_unstemmed	Software tools to support formal methods
title_sort	software tools to support formal methods
publisher	Queen's University Belfast
publishDate	1989
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757
work_keys_str_mv	AT mcparlandpatrickj softwaretoolstosupportformalmethods
_version_	1716743071556698112

Similar Items