Show simple item record

dc.contributor.authorNielson, Hanne Riisen
dc.date.accessioned2016-03-01T11:44:10Z
dc.date.available2016-03-01T11:44:10Z
dc.date.issued1984
dc.identifier.urihttp://hdl.handle.net/1842/15527
dc.description.abstracten
dc.publisherThe University of Edinburghen
dc.relation.ispartofKB thesis scanning project 2015en
dc.titleHoare logic's for run-time analysis of programsen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record