Discussion of an international initiative in Verified Software
Tony Hoare (Microsoft Research, Cambridge)
Info
|
Date |
18th June 2008 (week , Trinity Term 2008) |
|
Time |
11:30 |
|
Place |
Fox Room, Oxford University Computing Laboratory |
Further info
|
Related series |
|
