Item Withdrawn

  • Symbolic Crosschecking of Data-Parallel Floating-Point Code
  • 1-Jul-2014
  • Author(s): Collingbourne, P
  • Cadar, C
  • Kelly, P
The item you are trying to access has been withdrawn from Spiral. If you have any questions, please contact the administrators: spiral@imperial.ac.uk