A genetically modified Hoare logic

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02051795
Contributor : Jean-Paul Comet <>
Submitted on : Thursday, February 28, 2019 - 9:45:33 AM
Last modification on : Friday, April 12, 2019 - 10:18:10 AM

Identifiers

  • HAL Id : hal-02051795, version 1

Citation

G. Bernot, Jean-Paul Comet, Z. Khalis, A. Richard, O. Roux. A genetically modified Hoare logic. Theoretical Computer Science, Elsevier, 2018. ⟨hal-02051795⟩

Share

Metrics

Record views

51