Laurent Théry
Proffesions
INRIA Sophia-Antipolis
Photos
![](http://images.videotorium.hu/contributors/0/0o/0o1/0o1_1b91_90.png)
![](http://images.videotorium.hu/recordings/1/1a/1au/mastermedia/thumbnails/1au_1au_288_20.png)
Formalisation (Proof-checking)
Laurent Théry
14 years ago - 38:07