Covariance Einführung in die Programmierung Introduction to Programming Prof. Dr. Bertrand Meyer Lecture 5: Invariants and Logic Chair of Software Engineering 1 Reminder:…