Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
=== règle de l'itération ===:formula_15où "p" est l'invariant.
===consequence rule===this rule allows to strengthen the precondition and/or to weaken the postcondition.