Peter O'Hearn

  • Logique de séparation

    La logique de séparation est une extension de la logique de Hoare, une manière de raisonner sur les programmes.

Contenus liés

Search