Ronald Middelkoop

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

K. Rustan M. Leino, Ronald Middelkoop
Proving Consistency of Pure Methods and Model Fields. FASE (2009)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Informaticae 85 (1-4) (2008)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Invariants for Non-Hierarchical Object Structures. Electron. Notes Theor. Comput. Sci. 195 (2008)
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Cooperation-based Invariants for OO Languages. Electron. Notes Theor. Comput. Sci. 160 (2006)