Computing Publications

Publications Home » Authors » Dr Adrian Francalanza

Authors

Dr Adrian Francalanza

3 publications for this author.

Journal Special Issue Article

Universe Types for Topology and Encapsulation [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
Formal Methods for Components (FMCO) 2007
Volume 5382, pp.72–112
Lecture Notes in Computer Science, Springer Verlag
2008

Conference and Workshop Papers

A Unified Framework for Verification Techniques for Object Invariants [PDF]
Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
ECOOP 2008
Lecture Notes in Computer Science
July, 2008
A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza, Peter
International Workshop on Foundations of Object Oriented Languages (FOOL)
January, 2008

BibTeX file for these publications

 

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