Specification and Verification of Invariants by Exploiting Layers in OO Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundamenta Informaticae, 85(1-4):377-398, 2008. [doi]

This author has not been identified. Look up 'Ronald Middelkoop' in GoogleThis author has not been identified. Look up 'Cornelis Huizing' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'Erik J. Luit' in Google

runs on WebDSL