John C. Reynolds

  • 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