Design by contract: differenze tra le versioni

Versione delle 03:41, 2 mag 2014

Versione delle 14:26, 17 mag 2014

Riga 26:

== Voci correlate ==

*[[Invariante (informatica)|invariante]]

*[[invariante di classe]]

*[[asserzione (informatica)]]