MIRA Specifications - Inria - Institut national de recherche en sciences et technologies du numérique
Other Publications Year : 2023

MIRA Specifications

Domains

Computer Science [cs] Mathematics [math]
Fichier principal
Vignette du fichier
MIRA-spec-web.pdf (721.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
Public Domain

Nicolas Sendrier  : Connect in order to contact the contributor

https://inria.hal.science/hal-04315820

Submitted on : Thursday, November 30, 2023-2:09:27 PM

Last modification on : Friday, November 8, 2024-4:26:03 PM

Download

Dates and versions

hal-04315820 , version 1 (30-11-2023)

Licence

Public Domain

Identifiers

  • HAL Id : hal-04315820 , version 1

Cite

Nicolas Aragon, Magali Bardet, Loïc Bidoux, Jesús-Javier Chi-Domínguez, Victor Dyseryn, et al.. MIRA Specifications. 2023. ⟨hal-04315820⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNILIM CNRS INRIA INSA-ROUEN INSMI LITIS IMJ COMUE-NORMANDIE INRIA2 UNIROUEN UNILEHAVRE INSA-GROUPE SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES
50 View
32 Download

Share

More