Archive
Results
Showing: 1 to 1 of 1Affiliation shown is the affiliation at the time the talk was given.
10/27/2010
![The Role of Automata Theory in Software Verification](/assets/video/secsem/images/secsem_20101027_full.jpg)
The Role of Automata Theory in Software Verification
P. Madhusudan - University of Illinois at Urbana-Champaign
Ways to Watch
![YouTube](/assets/images/youtube_200.png)