Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. Verification Seminars
  4. Discussion of an international initiative in Verified Software

Discussion of an international initiative in Verified Software

Tony Hoare ( Microsoft Research, Cambridge )
  • 18Jun
    11:30 18th June 2008 ( Trinity Term 2008 )
    Fox Room, Oxford University Computing Laboratory

 

 

Seminar Series

See also

Coordinators

News & Events

Back to Top