Skip navigation
Skip navigation

Aspects of Java program verification

dc.contributor.authorTrentelman, Kerry
dc.date.accessioned2018-11-22T00:11:42Z
dc.date.available2018-11-22T00:11:42Z
dc.date.copyright2006
dc.identifier.otherb2279421
dc.identifier.urihttp://hdl.handle.net/1885/151803
dc.format.extentxii, 125 p.
dc.language.isoen_AU
dc.rightsAuthor retains copyright
dc.subject.lccQA76.73.J38T74 2006
dc.subject.lcshJava (Computer program language)
dc.titleAspects of Java program verification
dc.typeThesis (PhD)
local.description.notesThesis (Ph.D.)--Australian National University 2006
dc.date.issued2006
local.type.statusAccepted Version
local.identifier.doi10.25911/5d514ba194768
dc.date.updated2018-11-21T13:38:13Z
dcterms.accessRightsOpen Access
local.mintdoimint
CollectionsOpen Access Theses

Download

File Description SizeFormat Image
b22794219-Trentelman_K.pdf81.52 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator