Aspects of Java program verification
Date
2006
Authors
Trentelman, Kerry
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Collections
Source
Type
Thesis (PhD)
Book Title
Entity type
Access Statement
Open Access
License Rights
Restricted until
Downloads
File
Description