sifakis on verimag and "correctness by construction."
Published 3 years ago • 121 plays • Length 7:20Download video MP4
Download video MP3
Similar videos
-
2:08:07
joseph sifakis, 2007 a.m. turing award laureate interview
-
39:01
turing centennial conference: from programs to systems: building a smarter world
-
19:29
how enigma was cracked
-
15:46
turing 201: turing machine explained! (more than you ever needed to know...)
-
34:00
math's fundamental flaw
-
1:14:03
on the nature of computing, by joseph sifakis
-
5:25
turing machines explained - computerphile
-
8:05
programming in turing - subroutines 01 - introduction to procedures