Ronald Middelkoop (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 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 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)

1 Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006)

Selection of 3 from 4 records - Ronald Middelkoop has 4 coauthors

3		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		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)
1		Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006)