Visitor

Views

S´emantique des Langages de Programmation. - Laure Gonnord

Exercice : Définir la sémantique des expressions booléennes. Yassine Lakhnech ... Théorème La logique de Hoare pour la correction partielle est complette: Si.