Skip navigation
Skip navigation

Aspects of Java program verification

CollectionsOpen Access Theses
Date published: 2006
Type: Thesis (PhD)
DOI: 10.25911/5d514ba194768
Access Rights: Open Access


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