HAL-Inria | Publications, software ... of Inria's scientists |
Denis Cousineau 1, 2
Author
Damien Doligez 3, 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : damien-doligez
Leslie Lamport 4, 5
Author Employer institution : Microsoft Research
Stephan Merz 4, 6, 7
Author IdHAL : stephan-merz ORCID : https://orcid.org/0000-0003-0974-1844
Daniel Ricketts 8
Author Employer institution : University of California [San Diego]
Hernán Vanzetto 4, 6, 7
Author Employer institution : Institut National de Recherche en Informatique et en Automatique