conf.directory

Proof Planning

1 talks about Proof Planning

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