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

A genetically modified Hoare logic

Domaines

Bio-informatique [q-bio.QM] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
S030439751830080X.pdf (507.92 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Accord Elsevier CCSD  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02051795

Soumis le : lundi 25 octobre 2021-11:18:55

Dernière modification le : mercredi 30 octobre 2024-18:17:21

Archivage à long terme le : mercredi 26 janvier 2022-19:21:16

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES I3S DIEUDONNE UNAM LS2N LS2N-MEFORBIO UNIV-COTEDAZUR ANR NANTES-UNIVERSITE
117 Consultations
49 Téléchargements

Altmetric

Partager

More