| 2008 | ||
|---|---|---|
| 2 | EE | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Invariants for Non-Hierarchical Object Structures. Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008) |
| 2006 | ||
| 1 | EE | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006) |
| 1 | Cornelis Huizing (Kees Huizing) | [1] [2] |
| 2 | Ruurd Kuiper | [1] [2] |
| 3 | Erik J. Luit | [1] [2] |