Exploraremos cómo diversos patrones de diseño aumentan la reusabilidad de nuestro código al generalizar operaciones y, simultáneamente, facilitan su prueba y testeo formal.
—
We will explore how various design patterns increase the reusability of our code by generalising operations while simultaneously facilitating formal testing and proof.
