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