2009 |
4 | EE | K. Rustan M. Leino,
Ronald Middelkoop:
Proving Consistency of Pure Methods and Model Fields.
FASE 2009: 231-245 |
2008 |
3 | 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) |
2 | EE | Ronald Middelkoop,
Cornelis Huizing,
Ruurd Kuiper,
Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Fundam. Inform. 85(1-4): 377-398 (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) |