Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. News & Events
  3. Events
  4. Verification Seminars
  5. New search strategies for CSP refinement in FDR

New search strategies for CSP refinement in FDR

Philip Armstrong ( Oxford University )
  • 2Apr
    11:30 2nd April 2008 ( Trinity Term 2008 )
    Room 051, Oxford University Computing Laboratory

 

 

Share this:

Seminar Series

See also

Coordinators

News & Events

Back to Top