TD 4 : Logique de Hoare - Inria

diode zener exercice corrigé