Conformance

if B refines A then B may be used wherever A is allowed

Behavioral Refinement



slide: Behavioral refinement