Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. Verification Seminars
  4. 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

 

 

Seminar Series

See also

Coordinators

News & Events

Back to Top