Contracts

Behavioral refinement

Contracts

slide: Contracts and behavioral refinement