Hoare logic's for run-time analysis of programs
Main Author: | |
---|---|
Published: |
University of Edinburgh
1984
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058 |
id |
ndltd-bl.uk-oai-ethos.bl.uk-350058 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3500582016-08-04T03:32:24ZHoare logic's for run-time analysis of programsNielson, Hanne Riis1984005Computer software & programmingUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058http://hdl.handle.net/1842/15527Electronic Thesis or Dissertation |
collection |
NDLTD |
sources |
NDLTD |
topic |
005 Computer software & programming |
spellingShingle |
005 Computer software & programming Nielson, Hanne Riis Hoare logic's for run-time analysis of programs |
author |
Nielson, Hanne Riis |
author_facet |
Nielson, Hanne Riis |
author_sort |
Nielson, Hanne Riis |
title |
Hoare logic's for run-time analysis of programs |
title_short |
Hoare logic's for run-time analysis of programs |
title_full |
Hoare logic's for run-time analysis of programs |
title_fullStr |
Hoare logic's for run-time analysis of programs |
title_full_unstemmed |
Hoare logic's for run-time analysis of programs |
title_sort |
hoare logic's for run-time analysis of programs |
publisher |
University of Edinburgh |
publishDate |
1984 |
url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350058 |
work_keys_str_mv |
AT nielsonhanneriis hoarelogicsforruntimeanalysisofprograms |
_version_ |
1718369990194757632 |