HAL-Inria | Les publications, logiciels... des scientifiques Inria |
Damien Doligez 1, 2
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique IdHAL : damien-doligez
Jael Kriener 2
Auteur
Leslie Lamport 3
Auteur
Tomer Libal 2
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique IdHAL : tomer-libal arXiv : https://arxiv.org/a/au:Libal_T
Stephan Merz 2, 4
Auteur IdHAL : stephan-merz ORCID : https://orcid.org/0000-0003-0974-1844
INRIA | UNIV-LORRAINE | LORIA-FM | LORIA | INRIA-ROCQ