Login / Signup
Ed Clarke talking about model checking
13 Oct 2009 02:58

Ed Clarke talking about model checking 

CeC (from mobile)


media options

comments
There are no comments yet, be the first one to leave a comment!

leave a comment »
Login
Username

Pin


 

or


Comment:



Charlie Catlett

navigation
March of the Turing award winners- Michael Rabin up now Ed Clarke talking about model checking Really fascinating talk on social nets by John Hopcroft
tags
No tags yet

info
shared on
views
1
direct link
http://moby.to/4o4nuj
embed