Design by Contract

1. REDIRECT design by contract

{{Redirect category shell|1=

{{R from other capitalisation}}

}}