Logical verification of reactive software systems

Bibliographic Details
Main Author:	Jackson, David Mark
Published:	University of Oxford 1992
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305989

id	ndltd-bl.uk-oai-ethos.bl.uk-305989
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3059892015-03-19T10:45:21ZLogical verification of reactive software systemsJackson, David Mark1992005Computer software & programmingUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305989Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Jackson, David Mark Logical verification of reactive software systems
author	Jackson, David Mark
author_facet	Jackson, David Mark
author_sort	Jackson, David Mark
title	Logical verification of reactive software systems
title_short	Logical verification of reactive software systems
title_full	Logical verification of reactive software systems
title_fullStr	Logical verification of reactive software systems
title_full_unstemmed	Logical verification of reactive software systems
title_sort	logical verification of reactive software systems
publisher	University of Oxford
publishDate	1992
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305989
work_keys_str_mv	AT jacksondavidmark logicalverificationofreactivesoftwaresystems
_version_	1716776211780206592

Similar Items