Browsing by Author Summers, Alexander J.
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
2008 | A unified framework for verification techniques for object invariants | Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J. |
2008 | Universe types for topology and encapsulation | Cunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J. |