Laurent Théry
Proffesions
INRIA Sophia-Antipolis
Photos


Formalisation (Proof-checking)
Laurent Théry
11 years ago - 38:07