Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
The course examines how to document defined and undefined software behavior in contracts, especially across classes related by inheritance. It discusses the effects of leaving some behavior undefined on development, verification, testing, performance, and stability.
