- ICMS2006 Video Archives -

Laurent Thery
"Coq"
Quick Time 400Kbps, (211286405 bytes)

We cannot watch this lecture now.


To view streaming video, you need QuickTime player 7 or later Free download of QuickTime player .
Note: version 6 will not work.