conf.directory

Formal Proof

1 talks about Formal Proof

CORE - Cooperative Reasoning for Automatic Software Verification
35:15
Advanced

CORE - Cooperative Reasoning for Automatic Software Verification

Andrew Ireland
Google Tech Talks
3,213 views
June 6 2008
Watch Now