Login / Signup
Systèmes du LIA à DEFT'13.
Xavier Bost
Ilaria Brunetti
Luis Adrián Cabrera-Diego
Jean-Valère Cossu
Andréa Carneiro Linhares
Mohamed Morchid
Juan-Manuel Torres-Moreno
Marc El-Bèze
Richard Dufour
Published in:
CoRR (2017)
Keyphrases
</>
ieee trans
integer arithmetic
real time
theorem prover
information systems
image processing
lightweight