Browsing by Subject Formal methods (Computer science)
Showing results 32 to 32 of 32
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 2008 | UJ : type soundness for universe types | Cunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter |