Login / Signup

Class Refinement as Semantics of Correct Object Substitutability.

Ralph-Johan BackAnna MikhajlovaJoakim von Wright
Published in: Formal Aspects Comput. (2000)
Keyphrases