CSI 3525, Sémantique axiomatique, page 1 Sémantique axiomatique Assignations Composition dinstructions Linstruction "if-else" Linstruction "while" Rétrécissement.
