A genetically modified Hoare logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2019

Dates et versions

hal-02051795 , version 1 (25-10-2021)

Licence

Identifiants

Citer

G. Bernot, Jean-Paul Comet, Z. Khalis, A. Richard, Olivier Roux. A genetically modified Hoare logic. Theoretical Computer Science, 2019, ⟨10.1016/j.tcs.2018.02.003⟩. ⟨hal-02051795⟩
104 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More