Capturing and exploiting abstract views of states in OO verification

R. Middelkoop

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    83 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Capturing and exploiting abstract views of states in OO verification'. Together they form a unique fingerprint.

    Engineering & Materials Science