A genetically modified Hoare logic - Archive ouverte HAL Accéder directement au contenu
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 : lundi 26 février 2024-11:22:13

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

  • HAL Id : hal-02051795 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS EC-NANTES I3S DIEUDONNE UNAM LS2N LS2N-MEFORBIO UNIV-COTEDAZUR NANTES-UNIVERSITE
102 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More