| 2008 | ||
|---|---|---|
| 2 | EE | Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83 |
| 2007 | ||
| 1 | EE | Peter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478 |
| 1 | Ádám Darvas | [2] |
| 2 | Peter Müller | [1] [2] |