Complétez le triplet de Hoare : { ??? } k = 0; j = 0; { j = 0 ∧ k = 0 }

k = 0; j = 0;

Précondition {P} :

Écrivez la précondition. Format : 0 <= |x|

Valider