Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Projects
  5. New Approaches to Security and Model Checking

New Approaches to Security and Model Checking

1st January 2009 to 31st December 2009

Sponsors

ONR, U.S.

Principal Investigator

Bill Roscoe

Share this:

Sponsors

See also

Back to Top