Logic programming tools and techniques for imperative program verification

Bibliographic Details
Main Author:	O'Neill, I. M.
Published:	University of Southampton 1987
Subjects:	005 Software error checking
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380044

id	ndltd-bl.uk-oai-ethos.bl.uk-380044
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3800442015-03-19T08:39:39ZLogic programming tools and techniques for imperative program verificationO'Neill, I. M.1987005Software error checkingUniversity of Southamptonhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380044Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Software error checking
spellingShingle	005 Software error checking O'Neill, I. M. Logic programming tools and techniques for imperative program verification
author	O'Neill, I. M.
author_facet	O'Neill, I. M.
author_sort	O'Neill, I. M.
title	Logic programming tools and techniques for imperative program verification
title_short	Logic programming tools and techniques for imperative program verification
title_full	Logic programming tools and techniques for imperative program verification
title_fullStr	Logic programming tools and techniques for imperative program verification
title_full_unstemmed	Logic programming tools and techniques for imperative program verification
title_sort	logic programming tools and techniques for imperative program verification
publisher	University of Southampton
publishDate	1987
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380044
work_keys_str_mv	AT oneillim logicprogrammingtoolsandtechniquesforimperativeprogramverification
_version_	1716765140623294464

Similar Items