Ronald Middelkoop

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Eindhoven University of Technology(Current)

Ronald Middelkoop is an author at Eindhoven University of Technology specializing in object-oriented programming, programming languages, and specification languages.

Publications per year

2008–2011

Publications

Invariants for Non-Hierarchical Object Structures

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper et al. · Electronic Notes in Theoretical Computer Science · 2008 · 20 citations · Full text

Computing, Computer Science, Design Automation +16

Capturing and exploiting abstract views of states in OO verification

Ronald Middelkoop · TU/e Research Portal (Eindhoven University of Technology) · 2011 · 16 citations · Full text

Computing, Computer Science, Formal Methods +16

1–2 of 2