Computing Publications

Publications Home » Universe-Type-Based Verification ...

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods

Alexander Summers, Sophia Drossopoulou, Peter Mueller

Electronic Journal Article
April, 2009
Journal for Object Technology
PDF of full publication (542 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.