Browsing by Author Muller, Peter
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2008 | UJ : type soundness for universe types | Cunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter |
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. |