Edinburgh Research Archive
Toggle navigation
View Item
ERA Home
Informatics, School of
Informatics thesis and dissertation collection
View Item
ERA Home
Informatics, School of
Informatics thesis and dissertation collection
View Item
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Hoare logic's for run-time analysis of programs
View/
Open
Nielson1984.Pdf (10.78Mb)
Date
1984
Author
Nielson, Hanne Riis
Metadata
Show full item record
Abstract
URI
http://hdl.handle.net/1842/15527
Collections
Informatics thesis and dissertation collection
Search ERA
This Collection
All of ERA
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
This Collection
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
Login
Register
