Showing 1 - 4 results of 4 for search 'School of Computing and Mathematical Sciences‚ Oxford Brookes University', query time: 0.09s Refine Results
  1. 1
    Towards the mechanical verification of moving block signalling systems

    Towards the mechanical verification of moving block signalling systems by Simpson, A

    Published 1999
    “…School of Computing and Mathematical Sciences‚ Oxford Brookes University…”
    Report
  2. 2
    Calculating Functional Programs

    Calculating Functional Programs by Gibbons, J

    Published 1997
    “…School of Computing and Mathematical Sciences‚ Oxford Brookes University…”
    Conference item
  3. 3
    Conditionals in Distributive Categories

    Conditionals in Distributive Categories by Gibbons, J

    Published 1997
    “…School of Computing and Mathematical Sciences‚ Oxford Brookes University…”
    Report
  4. 4
    More on Merging and Selection

    More on Merging and Selection by Gibbons, J

    Published 1997
    “…School of Computing and Mathematical Sciences‚ Oxford Brookes University…”
    Report

Search Tools: