HAL-Inria | Publications, software ... of Inria's scientists |
Serge Autexier 1
Author
Heiko Mantel 2
Author Employer institution : Technische Universität Darmstadt
Stephan Merz 3
Author IdHAL : stephan-merz ORCID : https://orcid.org/0000-0003-0974-1844
Tobias Nipkow 4
Author
CNRS | INRIA | LORIA | UNIV-LORRAINE